SCM Repository
View of /sml/trunk/src/cm/tools/burgtool.sml
Parent Directory
|
Revision Log
Revision 578 -
(download)
(annotate)
Tue Mar 14 05:16:29 2000 UTC (21 years, 1 month ago) by blume
File size: 406 byte(s)
Tue Mar 14 05:16:29 2000 UTC (21 years, 1 month ago) by blume
File size: 406 byte(s)
merging back blume_devel_v110p26p1_1
(* * Running ML-Burg from CM. * * (C) 1999 Lucent Technologies, Bell Laboratories * * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) *) structure BurgTool = struct val _ = Tools.registerStdShellCmdTool { tool = "ML-Burg", class = "mlburg", suffixes = ["burg"], cmdStdPath = "ml-burg", template = NONE, extensionStyle = Tools.REPLACE (["burg"], [("sml", SOME "sml")]) } end
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |