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;
Pure: The Pure Isabelle System
This directory contains the ML source files for Pure Isabelle, which is the
basis for all object-logics. Important files include:
Makefile -- compiles the files under Poly/ML or SML of New Jersey
Syntax/ -- subdirectory containing the syntax module
Thy/ -- subdirectory containing the thy file parser and loader
ROOT.ML -- loads all source files. Enter ML and type: use "ROOT.ML";
NJ.ML -- compatibility file for Standard ML of New Jersey. You may wish to
alter the parameter settings.
POLY.ML -- compatibility file for Poly/ML