CVS: sml-dist HISTORY,1.437,1.438

Update of /cvsroot/smlnj/sml-dist
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv30395

Modified Files:
	HISTORY 
Log Message:
fixed bug in IntInf.div

Index: HISTORY
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/HISTORY,v
retrieving revision 1.437
retrieving revision 1.438
diff -C2 -d -r1.437 -r1.438
*** HISTORY	4 May 2005 15:32:16 -0000	1.437
--- HISTORY	4 May 2005 15:43:47 -0000	1.438
***************
*** 15,18 ****
--- 15,27 ----
  ----------------------------------------------------------------------
  Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/04 10:45:00 CDT
+ Tag: blume-20050504-intinf
+ Description:
+ 
+ Fixed a bug in the implementation of div and mod for IntInf.
+ Thanks to Neophytos Michael for reporting the problem.
+ 
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
  Date: 2005/05/04 10:35:00 CDT
  Tag: blume-20050504-join



-------------------------------------------------------
This SF.Net email is sponsored by: NEC IT Guy Games.
Get your fingers limbered up and give it your best shot. 4 great events, 4
opportunities to win big! Highest score wins.NEC IT Guy Games. Play to
win an NEC 61 plasma display. Visit http://www.necitguy.com/?r=20