Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1877, Sun Nov 20 23:46:08 2005 UTC	revision 1878, Mon Nov 21 19:54:57 2005 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume (http://www.tti-c.org/blume/)	Name: Matthias Blume (http://www.tti-c.org/blume/)
17		Date: 2005/11/21 14:00:00 CST
18		Tag: blume-20051121-html-lib
19		Description:
20
21		Enabling $/html-lib.cm in config/preloads did not work.  This is fixed
22		now.  (Since the anchor mapping for html-lib.cm is not yet in effect
23		at the time when config/preloads is processed, the library has to
24		be referred to by another name.  In 110.57 this would be
25		$SMLNJ-LIB/HTML/html-lib.cm.  I arranged for $smlnj/smlnj-lib/html-lib.cm
26		to be valid as well.)
27
28		Thanks to Todd Wilson (Fresno) for alerting me to this issue.
29
30		----------------------------------------------------------------------
31		Name: Matthias Blume (http://www.tti-c.org/blume/)
32	Date: 2005/11/19 13:45:00 CST	Date: 2005/11/19 13:45:00 CST
33	Tag: Release_110_57	Tag: Release_110_57
34	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1877   changed lines   Added in v.1878

---

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