| 1999-01-14 | wenzelm | 1999-01-14 | tuned README; | file | diff | annotate |
| 1998-11-09 | wenzelm | 1998-11-09 | added Isar/; | file | diff | annotate |
| 1998-06-10 | wenzelm | 1998-06-10 | added General; | file | diff | annotate |
| 1998-05-18 | wenzelm | 1998-05-18 | added Syntax/source.ML; | file | diff | annotate |
| 1998-03-09 | wenzelm | 1998-03-09 | tuned; | file | diff | annotate |
| 1998-02-12 | wenzelm | 1998-02-12 | improved comments; | file | diff | annotate |
| 1997-05-21 | wenzelm | 1997-05-21 | tuned all READMEs; | file | diff | annotate |
| 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; | file | diff | annotate |
| 1993-09-16 | clasohm | 1993-09-16 | Initial revision | file | diff | annotate |