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 493, Mon Nov 29 07:13:22 1999 UTC revision 518, Wed Jan 12 06:26:25 2000 UTC
# Line 12  Line 12 
12            class = "mlburg",            class = "mlburg",
13            suffixes = ["burg"],            suffixes = ["burg"],
14            command = command,            command = command,
15            extensionStyle = Tools.REPLACE (["burg"], ["sml"]),            extensionStyle = Tools.REPLACE (["burg"], [("sml", SOME "sml")]) }
           sml = true }  
16  end  end

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

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