CVS: sml-dist/src/cm/main general-params.sml, 1.17, 1.17.10.1

David MacQueen <[email protected]> Sun, 27 Aug 2006 22:12:12 -0700
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist/src/cm/main
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv26302/src/cm/main

Modified Files:
      Tag: primop-branch-2
	general-params.sml 
Log Message:
switched all pretty printing to use PrettyPrintNew

Index: general-params.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/cm/main/general-params.sml,v
retrieving revision 1.17
retrieving revision 1.17.10.1
diff -C2 -d -r1.17 -r1.17.10.1
*** general-params.sml	13 Aug 2003 18:04:05 -0000	1.17
--- general-params.sml	28 Aug 2006 05:12:10 -0000	1.17.10.1
***************
*** 20,24 ****
      type info = { param: param,
  		  groupreg: GroupReg.groupreg,
! 		  errcons: PrettyPrint.device,
  		  youngest: TStamp.t ref }
  
--- 20,24 ----
      type info = { param: param,
  		  groupreg: GroupReg.groupreg,
! 		  errcons: PrettyPrintNew.device,
  		  youngest: TStamp.t ref }
  


-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642