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 1065, Thu Feb 14 15:05:16 2002 UTC revision 1066, Thu Feb 14 16:50:02 2002 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume
17    Date: 2002/02/14 11:50:00 EST
18    Tag: blume-20020214-quote
19    Description:
20    
21    Added a type 't t_' to tag.sml (in ml-nlffi-lib.cm).  This is required
22    because of the new and improved tag generation scheme.  (Thanks to Allen
23    Leung for pointing it out.)
24    
25    ----------------------------------------------------------------------
26  Name: Lal George  Name: Lal George
27  Date: 2002/02/14 09:55:27 EST 2002  Date: 2002/02/14 09:55:27 EST 2002
28  Tag: george-20020214-isabelle-bug  Tag: george-20020214-isabelle-bug

Legend:
Removed from v.1065  
changed lines
  Added in v.1066

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