isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

renamed 'filter_rel' to 'rel_filter'
2014-03-06, by blanchet
renamed 'endofun_rel' to 'rel_endofun'
2014-03-06, by blanchet
renamed 'vset_rel' to 'rel_vset'
2014-03-06, by blanchet
fixed NEWS
2014-03-06, by blanchet
renamed 'set_rel' to 'rel_set'
2014-03-06, by blanchet
tuned
2014-03-06, by traytel
rationalized imports
2014-03-06, by traytel
move special BNFs used for composition only to BNF_Comp;
2014-03-06, by traytel
renamed 'cset_rel' to 'rel_cset'
2014-03-06, by blanchet
renamed 'fset_rel' to 'rel_fset'
2014-03-06, by blanchet
renamed 'map_pair' to 'map_prod'
2014-03-06, by blanchet
renamed 'map_sum' to 'sum_map'
2014-03-06, by blanchet
more careful simplification of sets (cf. abf91ebd0820)---yields smaller terms
2014-03-06, by traytel
remove lemmas in favor of more general ones: convex(_hull)_set_{plus,setsum}
2014-03-05, by huffman
generalize lemma closure_sum
2014-03-05, by huffman
generalize lemmas
2014-03-05, by huffman
more symbols;
2014-03-05, by wenzelm
tuned proofs;
2014-03-05, by wenzelm
tuned color (cf. jEdit FUNCTION);
2014-03-05, by wenzelm
tuned;
2014-03-05, by wenzelm
more markup for inner syntax class/type names (notably for completion);
2014-03-05, by wenzelm
tuned proofs;
2014-03-05, by wenzelm
back to stable polyml-5.5.1, due to problems with Poly/ML SVN 1913 and HOL-Proofs (Fail "Insufficient memory");
2014-03-05, by wenzelm
more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax;
2014-03-05, by wenzelm
unused;
2014-03-05, by wenzelm
special treatment of method combinators like Args.$$$ keywords, although parsed via Parse.$$$;
2014-03-05, by wenzelm
more thorough (potentially duplicate) markup, e.g. relevant for embedded Args syntax within antiquotations;
2014-03-05, by wenzelm
suppress short abbreviations more uniformly, for outer and quasi-outer syntax;
2014-03-05, by wenzelm

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

isabelle