CVS: sml-dist/src/cml/cml-lib sources.cm,1.12,1.13

Matthias Blume <[email protected]>
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist/src/cml/cml-lib
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20173/src/cml/cml-lib

Modified Files:
	sources.cm 
Log Message:
fixed/improved structure Atom in CML

Index: sources.cm
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/cml/cml-lib/sources.cm,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** sources.cm	11 Dec 2004 06:24:12 -0000	1.12
--- sources.cm	24 Feb 2005 22:46:30 -0000	1.13
***************
*** 176,180 ****
  
  
!   SMLNJ-Util/cml-atom.sml
    SMLNJ-Util/atom-binary-map.sml
    SMLNJ-Util/atom-binary-set.sml
--- 176,180 ----
  
  
!   SMLNJ-Util/cml-atom-new.sml
    SMLNJ-Util/atom-binary-map.sml
    SMLNJ-Util/atom-binary-set.sml
***************
*** 183,187 ****
    SMLNJ-Util/atom-redblack-set.sml
    SMLNJ-Util/atom-set.sml
-   SMLNJ-Util/atom-sig.sml
    SMLNJ-Util/atom-table.sml
    SMLNJ-Util/io-util.sml
--- 183,186 ----



-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.