isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tuned;
1997-10-10, by wenzelm
fixed space_explode, old one retained as BAD_space_explode;
1997-10-10, by wenzelm
scan_longid moved to Syntax/lexicon.ML;
1997-10-10, by wenzelm
constify: qualified is const;
1997-10-10, by wenzelm
added longid syntax;
1997-10-10, by wenzelm
added longid;
1997-10-10, by wenzelm
decode: qualified is always const;
1997-10-10, by wenzelm
tuned;
1997-10-10, by wenzelm
\n at end;
1997-10-09, by wenzelm
ensure that dots in formulas are followed by non-idents;
1997-10-09, by wenzelm
*** empty log message ***
1997-10-09, by wenzelm
no longer handles consts "" -- use syntax instead;
1997-10-09, by wenzelm
removed open;
1997-10-09, by wenzelm
fixed infix syntax;
1997-10-09, by wenzelm
added TLA stuff;
1997-10-09, by wenzelm
fixed oracle;
1997-10-09, by wenzelm
removed declIffOracle;
1997-10-09, by wenzelm
changed preference order of prtab entries;
1997-10-09, by wenzelm
fixed infix syntax;
1997-10-09, by wenzelm
improved oracles: named, many per theory;
1997-10-09, by wenzelm
improved oracle: name;
1997-10-09, by wenzelm
fixed get_axiom, invoke_oracle;
1997-10-09, by wenzelm
print_theory: added oracles;
1997-10-09, by wenzelm
tuned exports;
1997-10-09, by wenzelm
fixed axiom names;
1997-10-09, by wenzelm
symbols syntax;
1997-10-08, by wenzelm
A formalization of TLA in HOL -- by Stephan Merz;
1997-10-08, by wenzelm
improved types of add_XXX funs (xtyp etc.);
1997-10-07, by wenzelm
improved types of add_XXX funs (xtyp etc.);
1997-10-07, by wenzelm
tuned decode;
1997-10-07, by wenzelm
tuned internal mapping table;
1997-10-07, by wenzelm
tuned;
1997-10-07, by wenzelm
tuned warning msg;
1997-10-07, by wenzelm
tuned;
1997-10-07, by wenzelm
The Isabelle Logo;
1997-10-07, by wenzelm
fixed 'begin';
1997-10-06, by wenzelm
optional begin keyword;
1997-10-06, by wenzelm
"->" made syntax;
1997-10-06, by wenzelm
eliminated raise_term;
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
add_arities_i;
1997-10-06, by wenzelm
TODO: handle internal / external names;
1997-10-06, by wenzelm
now supports qualified names (intern vs. extern) !!!
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
tuned read_cterms;
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
new internal forms: add_classes_i, add_classrel_i, add_defsort_i, add_arities_i
1997-10-06, by wenzelm
tuned;
1997-10-06, by wenzelm
now uses new Sign.pretty_sort;
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
now uses Syntax.simple_str_of_sort;
1997-10-06, by wenzelm
added simple_str_of_sort;
1997-10-06, by wenzelm
eliminated raise_term;
1997-10-06, by wenzelm
added 'path' section;
1997-10-06, by wenzelm
added pretty_sort;
1997-10-06, by wenzelm
fixed raw_term_sorts (again!);
1997-10-06, by wenzelm
eliminated raise_ast, raise_term, raise_typ;
1997-10-06, by wenzelm
added sort_to_ast;
1997-10-06, by wenzelm
eliminated raise_ast;
1997-10-06, by wenzelm
RAW target;
1997-10-06, by wenzelm

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

isabelle