src/Pure/README
changeset 3279 815ef5848324
parent 19 929ad32d63fc
child 4620 bfd40126c56e
     1.1 --- a/src/Pure/README	Wed May 21 17:11:46 1997 +0200
     1.2 +++ b/src/Pure/README	Wed May 21 17:13:00 1997 +0200
     1.3 @@ -3,16 +3,10 @@
     1.4  This directory contains the ML source files for Pure Isabelle, which is the
     1.5  basis for all object-logics.  Important files include:
     1.6  
     1.7 -Makefile -- compiles the files under Poly/ML or SML of New Jersey
     1.8 +IsaMakefile -- compiles the files
     1.9  
    1.10 -Syntax/  -- subdirectory containing the syntax module
    1.11 -
    1.12 -Thy/     -- subdirectory containing the thy file parser and loader
    1.13 +Syntax/     -- the syntax module
    1.14  
    1.15 -ROOT.ML  -- loads all source files.  Enter ML and type:  use "ROOT.ML";
    1.16 +Thy/        -- the theory file parser and loader
    1.17  
    1.18 -NJ.ML    -- compatibility file for Standard ML of New Jersey.  You may wish to
    1.19 -            alter the parameter settings.
    1.20 -
    1.21 -POLY.ML  -- compatibility file for Poly/ML
    1.22 -
    1.23 +ML-Systems/ -- compatibility files for various ML systems