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/mlburg/tool.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/tools/mlburg/tool.sml

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

revision 1901, Tue Feb 28 03:18:52 2006 UTC revision 1902, Wed Mar 1 04:44:30 2006 UTC
# Line 10  Line 10 
10          { tool = "ML-Burg",          { tool = "ML-Burg",
11            class = "mlburg",            class = "mlburg",
12            suffixes = ["burg"],            suffixes = ["burg"],
13            cmdStdPath = fn () => "ml-burg",            cmdStdPath = fn () => ("ml-burg", []),
14            template = NONE,            template = NONE,
15            extensionStyle =            extensionStyle =
16                Tools.REPLACE (["burg"], [("sml", SOME "sml", fn too => too)]),                Tools.REPLACE (["burg"], [("sml", SOME "sml", fn too => too)]),

Legend:
Removed from v.1901  
changed lines
  Added in v.1902

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