Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 04 Oct 1993 15:44:29 +0100 replaced id by idt;
changeset
wenzelm [Mon, 04 Oct 1993 15:44:29 +0100] rev 21
replaced id by idt; added parse rule for ->; removed ndependent_tr;
Mon, 04 Oct 1993 15:38:02 +0100 Pure/Thy/syntax.ML
changeset
wenzelm [Mon, 04 Oct 1993 15:38:02 +0100] rev 20
Pure/Thy/syntax.ML removed {parse,print}_{pre,post}_proc; removed 'val ax = ..';
Mon, 04 Oct 1993 15:36:31 +0100 Pure/ROOT.ML
changeset
wenzelm [Mon, 04 Oct 1993 15:36:31 +0100] rev 19
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;
(0) -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle