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/branches/primop-branch-3/NOTES/HISTORY
ViewVC logotype

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

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

revision 1058, Fri Feb 8 20:02:56 2002 UTC revision 1059, Mon Feb 11 17:05:33 2002 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume  Name: Matthias Blume
17    Date: 2002/02/11 12:05:00 EST
18    Tag: blume-20020211-gensml
19    Description:
20    
21    A quick fix for a problem with GenSML (in the pgraph-util library):
22    Make generation of toplevel "local" optional.  (Strictly speaking,
23    signature definitions within "local" are not legal SML.)
24    
25    Other than that: updates to INSTALL and cm/TODO.
26    
27    ----------------------------------------------------------------------
28    Name: Matthias Blume
29  Date: 2002/02/08 15:00:00 EST  Date: 2002/02/08 15:00:00 EST
30  Tag: blume-20020208-uniquepid  Tag: blume-20020208-uniquepid
31  Description:  Description:

Legend:
Removed from v.1058  
changed lines
  Added in v.1059

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