Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/tools/burgtool.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/tools/burgtool.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 282, Wed May 19 05:14:03 1999 UTC revision 493, Mon Nov 29 07:13:22 1999 UTC
# Line 6  Line 6 
6   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7   *)   *)
8  structure BurgTool = struct  structure BurgTool = struct
9      val command = Tools.newCmdGetterSetter ("BURG", "ml-burg")      val command = Tools.newCmdController ("BURG", "ml-burg")
10      val _ = Tools.registerStdShellCmdTool      val _ = Tools.registerStdShellCmdTool
11          { tool = "ML-Burg",          { tool = "ML-Burg",
12            class = "mlburg",            class = "mlburg",

Legend:
Removed from v.282  
changed lines
  Added in v.493

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0