isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

New version of InterE, like its ZF counterpart
1997-03-05, by paulson
Renamed constant "not" to "Not"
1997-03-05, by paulson
Renamed constant "not" to "Not"
1997-03-04, by paulson
Renamed constant "not" to "Not"
1997-03-04, by paulson
best_tac avoids looping with change to RepFun_eqI in claset
1997-03-04, by paulson
Now uses RepFun_eqI instead of RepFunI;
1997-03-04, by paulson
Updated reference to Pelletier erratum
1997-03-04, by paulson
Removed needless quotes
1997-03-04, by paulson
removed bash debug;
1997-03-03, by wenzelm
removed -r option;
1997-03-03, by wenzelm
fixed -m order;
1997-03-03, by wenzelm
improved xterm, xterm_color;
1997-03-03, by wenzelm
added comment;
1997-03-03, by wenzelm
added comment: print translations do not mark tokens;
1997-03-03, by wenzelm
added color styles;
1997-03-01, by wenzelm
improved err msg;
1997-02-28, by wenzelm
*** empty log message ***
1997-02-28, by wenzelm
more robust handling of invocation errors;
1997-02-28, by wenzelm
more robust handling of invocation errors;
1997-02-28, by wenzelm
now uses -m symbols;
1997-02-28, by wenzelm
split ast_of_term(T);
1997-02-28, by wenzelm
added token translation support;
1997-02-28, by wenzelm
term_of_... now mark class, tfree, tvar;
1997-02-28, by wenzelm
added mark_bound(T), variant_abs';
1997-02-28, by wenzelm
Token translations for xterm and LaTeX output.
1997-02-28, by wenzelm
added _mk_ofclass(S);
1997-02-28, by wenzelm
added strlen (includes metric information);
1997-02-28, by wenzelm
added token_translation interface;
1997-02-28, by wenzelm

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

isabelle