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/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

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

revision 1839, Tue Oct 25 15:34:13 2005 UTC revision 1840, Tue Oct 25 15:38:51 2005 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
17    Date: 2005/10/25
18    Description:
19    Added interval sets to utility library (signatures INTERVAL_DOMAIN
20    and INTERVAL_SET, and functor IntervalSetFn).
21    
22    ----------------------------------------------------------------------
23    Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
24  Date: 2005/10/14  Date: 2005/10/14
25  Description:  Description:
26  Add Zhong Shao's fix for datatype equality functions.  Add Zhong Shao's fix for datatype equality functions.

Legend:
Removed from v.1839  
changed lines
  Added in v.1840

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