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/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 628, Tue Apr 25 21:03:34 2000 UTC revision 631, Fri Apr 28 08:30:52 2000 UTC
# Line 12  Line 12 
12  Tag: <post-commit CVS tag>  Tag: <post-commit CVS tag>
13  Description:  Description:
14  ----------------------------------------------------------------------  ----------------------------------------------------------------------
15    Name: Matthias Blume
16    Date: 2000/04/28 17:30:00 JST
17    Tag: blume-20000428-pathconfig
18    Description:
19    
20    1. I changed config/install.sh to remove duplicate entries from the
21       lib/pathconfig file at the end.  Moreover, the final version of
22       lib/pathconfig is sorted alphabetically.  The same (sorting) is done
23       in src/system/installml.
24    
25    2. The config/install.sh script now consistently uses relative
26       pathnames in lib/pathconfig whenever the anchor is in the lib
27       directory.  (So far this was true for the libraries that come
28       pre-compiled and bundled as part of the bootfiles but not for
29       libraries that are compiled by the script itself.)
30    
31    ----------------------------------------------------------------------
32    Name: Matthias Blume
33    Date: 2000/04/26 13:10:00 JST
34    Tag: blume-20000426-fun_suffix
35    Description:
36    
37    Added ".fun" as a recognized file name suffix (for ML code).
38    
39    ----------------------------------------------------------------------
40  Name: Allen Leung  Name: Allen Leung
41  Date: 2000/04/25 17:00:00 EST  Date: 2000/04/25 17:00:00 EST
42  Tag: leunga-20000425-alpha-ra  Tag: leunga-20000425-alpha-ra

Legend:
Removed from v.628  
changed lines
  Added in v.631

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