isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip

lookaheads are now computed faster (during the grammar is built)
1994-05-19, by clasohm
extended signature SCANNER by some basic scanners and type lexicon;
1994-05-18, by wenzelm
added logicC: class, logicS: sort;
1994-05-18, by wenzelm
added make, dest, extend_new;
1994-05-18, by wenzelm
fixed a bug in syntax_error, added "Building new grammar" message;
1994-05-17, by clasohm
syntax_error now checks precedences when computing expected tokens
1994-05-13, by clasohm
FOL/simpdata: added etac FalseE in setsolver call. Toby: "now that the
1994-05-13, by lcp
make-all-poly, make-all-nj: restored to main directory as examples
1994-05-13, by lcp
changed implode to ^
1994-05-11, by clasohm
moved 'filter is_xid' in syn_ext
1994-05-11, by clasohm
syntax_error now removes duplicate tokens in its output and doesn't
1994-05-09, by clasohm
ZF/indrule/mk_pred_typ: corrected pattern to include Abs, allowing it to
1994-05-06, by lcp
renaming/removal of filenames to correct case
1994-05-06, by lcp
renaming/removal of filenames to correct case
1994-05-06, by lcp
renaming/removal of filenames to correct case
1994-05-06, by lcp

less more | (0) -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle