src/Pure/README
author clasohm
Thu Sep 16 12:20:38 1993 +0200 (1993-09-16)
changeset 0 a5a9c433f639
child 19 929ad32d63fc
permissions -rw-r--r--
Initial revision
     1 			Pure: The Pure Isabelle System
     2 
     3 This directory contains the ML source files for Pure Isabelle, which is the
     4 basis for all object-logics.  Important files include
     5 
     6 Makefile -- compiles the files under Poly/ML or SML of New Jersey
     7 
     8 Syntax -- subdirectory containing the parser/prettyprinter generator
     9 
    10 ROOT.ML -- loads all source files.  Enter ML and type:  use "ROOT.ML";
    11 
    12 NJ.ML -- compatibility file for Standard ML of New Jersey.  You may wish to
    13 	 alter the parameter settings.
    14 
    15 POLY.ML -- compatibility file for Poly/ML