1996-11-27 paulson 1996-11-27 Removed an obsolete and incompatible declaration
1996-02-06 clasohm 1996-02-06 made Isabelle compatible with SML/NJ 1.09
1995-10-24 clasohm 1995-10-24 added "execute"
1995-02-27 lcp 1995-02-27 exit: new, for use in Makefiles
1994-05-26 clasohm 1994-05-26 changed use_string's type to string list -> unit because POLY can only handle one command per string
1994-05-19 clasohm 1994-05-19 added use_string: string -> unit to execute ML commands passed in a string
1994-01-10 clasohm 1994-01-10 used unlink for delete_files instead of calling rm
1993-11-09 clasohm 1993-11-09 fixed a bug in POLY.ML: delete_file didn't close streams; added function pwd to get current working directory
1993-10-22 clasohm 1993-10-22 delete_file now has type string -> unit in both NJ and POLY, use of Pure/Thy/ROOT has been moved to the end of Pure/ROOT again
1993-10-21 lcp 1993-10-21 /NJ,POLY/delete_file: new
1993-10-04 wenzelm 1993-10-04 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;
1993-09-16 clasohm 1993-09-16 Initial revision