src/Pure/README
author wenzelm
Mon Oct 04 15:36:31 1993 +0100 (1993-10-04)
changeset 19 929ad32d63fc
parent 0 a5a9c433f639
child 3279 815ef5848324
permissions -rw-r--r--
Pure/ROOT.ML
cleaned comments;
removed extraneous 'print_depth 1';
replaced Basic_Syntax by BasicSyntax
added 'use "install_pp.ML"';

Pure/README
fixed comments;

Pure/POLY.ML
Pure/NJ.ML
make_pp: added fbrk;

Pure/install_pp.ML
replaced "Ast" by "Syntax";

Pure/sign.ML
added 'quote' to some error msgs;
wenzelm@19
     1
                        Pure: The Pure Isabelle System
clasohm@0
     2
clasohm@0
     3
This directory contains the ML source files for Pure Isabelle, which is the
wenzelm@19
     4
basis for all object-logics.  Important files include:
clasohm@0
     5
clasohm@0
     6
Makefile -- compiles the files under Poly/ML or SML of New Jersey
clasohm@0
     7
wenzelm@19
     8
Syntax/  -- subdirectory containing the syntax module
clasohm@0
     9
wenzelm@19
    10
Thy/     -- subdirectory containing the thy file parser and loader
wenzelm@19
    11
wenzelm@19
    12
ROOT.ML  -- loads all source files.  Enter ML and type:  use "ROOT.ML";
clasohm@0
    13
wenzelm@19
    14
NJ.ML    -- compatibility file for Standard ML of New Jersey.  You may wish to
wenzelm@19
    15
            alter the parameter settings.
clasohm@0
    16
wenzelm@19
    17
POLY.ML  -- compatibility file for Poly/ML
wenzelm@19
    18