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 /config/releases/release-110.72/targets
ViewVC logotype

Diff of /config/releases/release-110.72/targets

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

revision 569, Tue Mar 7 04:01:07 2000 UTC revision 573, Thu Mar 9 15:23:52 2000 UTC
# Line 72  Line 72 
72  # Note: autoloading is always enabled.  # Note: autoloading is always enabled.
73  #   In order to customize what is being pre-registered for autoloading  #   In order to customize what is being pre-registered for autoloading
74  #   edit file "preloads".  You should make sure that it contains at least  #   edit file "preloads".  You should make sure that it contains at least
75  #   one of "minimal-cm.cm" or "full-cm.cm".  Also, it is a good idea to  #   one of "smlnj/cm/minimal.cm" or "smlnj/cm/full.cm".
76  #   have basis.cm pre-loaded.  #  Also, it is a good idea to have basis.cm pre-loaded.

Legend:
Removed from v.569  
changed lines
  Added in v.573

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