SCM Repository
Diff of /sml/trunk/src/cm/tools/burgtool.sml
Parent Directory
|
Revision Log
|
Patch
revision 276, Mon May 17 06:01:28 1999 UTC | revision 277, Mon May 17 09:13:26 1999 UTC | |
---|---|---|
# | Line 1 | Line 1 |
1 | (* | |
2 | * Running ML-Burg from CM. | |
3 | * | |
4 | * (C) 1999 Lucent Technologies, Bell Laboratories | |
5 | * | |
6 | * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) | |
7 | *) | |
8 | structure BurgTool = | structure BurgTool = |
9 | StdShellCmdTool (val tool = "ML-Burg" | StdShellCmdTool (val tool = "ML-Burg" |
10 | val class = "mlburg" | val class = "mlburg" |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |