src/Pure/README
changeset 19 929ad32d63fc
parent 0 a5a9c433f639
child 3279 815ef5848324
     1.1 --- a/src/Pure/README	Mon Oct 04 15:30:49 1993 +0100
     1.2 +++ b/src/Pure/README	Mon Oct 04 15:36:31 1993 +0100
     1.3 @@ -1,15 +1,18 @@
     1.4 -			Pure: The Pure Isabelle System
     1.5 +                        Pure: The Pure Isabelle System
     1.6  
     1.7  This directory contains the ML source files for Pure Isabelle, which is the
     1.8 -basis for all object-logics.  Important files include
     1.9 +basis for all object-logics.  Important files include:
    1.10  
    1.11  Makefile -- compiles the files under Poly/ML or SML of New Jersey
    1.12  
    1.13 -Syntax -- subdirectory containing the parser/prettyprinter generator
    1.14 +Syntax/  -- subdirectory containing the syntax module
    1.15  
    1.16 -ROOT.ML -- loads all source files.  Enter ML and type:  use "ROOT.ML";
    1.17 +Thy/     -- subdirectory containing the thy file parser and loader
    1.18 +
    1.19 +ROOT.ML  -- loads all source files.  Enter ML and type:  use "ROOT.ML";
    1.20  
    1.21 -NJ.ML -- compatibility file for Standard ML of New Jersey.  You may wish to
    1.22 -	 alter the parameter settings.
    1.23 +NJ.ML    -- compatibility file for Standard ML of New Jersey.  You may wish to
    1.24 +            alter the parameter settings.
    1.25  
    1.26 -POLY.ML -- compatibility file for Poly/ML
    1.27 +POLY.ML  -- compatibility file for Poly/ML
    1.28 +