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 281, Tue May 18 14:57:00 1999 UTC revision 282, Wed May 19 05:14:03 1999 UTC
# Line 5  Line 5 
5   *   *
6   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7   *)   *)
8  structure BurgTool =  structure BurgTool = struct
9      StdShellCmdTool (val tool = "ML-Burg"      val command = Tools.newCmdGetterSetter ("BURG", "ml-burg")
10                       val class = "mlburg"      val _ = Tools.registerStdShellCmdTool
11                       val suffixes = ["burg"]          { tool = "ML-Burg",
12                       val command = ("BURG", "ml-burg")            class = "mlburg",
13                       val extensionStyle = Tools.REPLACE (["burg"], ["sml"])            suffixes = ["burg"],
14                       val sml = true)            command = command,
15              extensionStyle = Tools.REPLACE (["burg"], ["sml"]),
16              sml = true }
17    end

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

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