Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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:

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