improved comments;
authorwenzelm
Thu Feb 12 14:52:17 1998 +0100 (1998-02-12)
changeset 4620bfd40126c56e
parent 4619 72edc2a9200f
child 4621 79e6a11ba8a9
improved comments;
src/Pure/README
     1.1 --- a/src/Pure/README	Thu Feb 12 12:37:53 1998 +0100
     1.2 +++ b/src/Pure/README	Thu Feb 12 14:52:17 1998 +0100
     1.3 @@ -1,12 +1,20 @@
     1.4                          Pure: The Pure Isabelle System
     1.5  
     1.6 -This directory contains the ML source files for Pure Isabelle, which is the
     1.7 -basis for all object-logics.  Important files include:
     1.8 +This directory contains the ML source files for Pure Isabelle, which
     1.9 +is the basis for all object-logics:
    1.10  
    1.11 -IsaMakefile -- compiles the files
    1.12 +  IsaMakefile	compiles the Pure system
    1.13 +  ML-Systems/   compatibility files for various ML systems
    1.14 +  Syntax/     	the syntax module
    1.15 +  Thy/          the theory file parser and loader
    1.16  
    1.17 -Syntax/     -- the syntax module
    1.18 +Isabelle programmers may want to have a look at the following generic
    1.19 +modules:
    1.20  
    1.21 -Thy/        -- the theory file parser and loader
    1.22 -
    1.23 -ML-Systems/ -- compatibility files for various ML systems
    1.24 +  Library	basic library (see library.ML)
    1.25 +  TableFun	efficient tables (see table.ML)
    1.26 +  Seq		unbounded sequences (see seq.ML)
    1.27 +  Pretty	pretty printing module (see Syntax/pretty.ML)
    1.28 +  Scanner	scanner toolbox (see Syntax/lexicon.ML)
    1.29 +  Path		abstract algebra of file paths (see Thy/path.ML)
    1.30 +  File		file system operations (see Thy/file.ML)