CVS: sml-dist/config extrapathconfig,1.2,1.3 preloads,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/config
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23548/config

Modified Files:
	extrapathconfig preloads 
Log Message:
fixed problem with config/preloads (html-lib)

Index: extrapathconfig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/config/extrapathconfig,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** extrapathconfig	20 Nov 2005 05:32:27 -0000	1.2
--- extrapathconfig	21 Nov 2005 19:54:57 -0000	1.3
***************
*** 2,6 ****
  smlnj-lib.cm smlnj/smlnj-lib
  pp-lib.cm smlnj/smlnj-lib
! html-lib.cm SMLNJ-LIB/HTML
  controls-lib.cm smlnj/smlnj-lib
  ml-yacc-lib.cm smlnj/ml-yacc
--- 2,6 ----
  smlnj-lib.cm smlnj/smlnj-lib
  pp-lib.cm smlnj/smlnj-lib
! html-lib.cm smlnj/smlnj-lib
  controls-lib.cm smlnj/smlnj-lib
  ml-yacc-lib.cm smlnj/ml-yacc

Index: preloads
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/config/preloads,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** preloads	15 Nov 2005 22:38:48 -0000	1.12
--- preloads	21 Nov 2005 19:54:57 -0000	1.13
***************
*** 29,33 ****
  
  # The "HTML" portion of the SML/NJ library
! #autoload $/html-lib.cm
  
  
--- 29,33 ----
  
  # The "HTML" portion of the SML/NJ library
! #autoload $smlnj/smlnj-lib/html-lib.cm
  
  



-------------------------------------------------------
This SF.Net email is sponsored by the JBoss Inc.  Get Certified Today
Register for a JBoss Training Course.  Free Certification Exam
for All Training Attendees Through End of 2005. For more info visit:
http://ads.osdn.com/?ad_id=7628&alloc_id=16845&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.