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

Diff of /sml/trunk/NOTES/HISTORY

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

revision 1783, Wed May 4 15:32:16 2005 UTC revision 1784, Wed May 4 15:43:48 2005 UTC
# Line 14  Line 14 
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16  Name: Matthias Blume (blume (at) tti - c (dot) org)  Name: Matthias Blume (blume (at) tti - c (dot) org)
17    Date: 2005/05/04 10:45:00 CDT
18    Tag: blume-20050504-intinf
19    Description:
20    
21    Fixed a bug in the implementation of div and mod for IntInf.
22    Thanks to Neophytos Michael for reporting the problem.
23    
24    ----------------------------------------------------------------------
25    Name: Matthias Blume (blume (at) tti - c (dot) org)
26  Date: 2005/05/04 10:35:00 CDT  Date: 2005/05/04 10:35:00 CDT
27  Tag: blume-20050504-join  Tag: blume-20050504-join
28  Description:  Description:

Legend:
Removed from v.1783  
changed lines
  Added in v.1784

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