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 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip

tuned message according to ML version;
2018-09-29, by wenzelm
more liberal: detect free-form infixes as well, e.g. Orderings.ord_class.less_eq;
2018-09-29, by wenzelm
more accurate syntax: e.g. avoid brackets as prefix notation;
2018-09-28, by wenzelm
more approximative prefix syntax, including binder;
2018-09-28, by wenzelm
proper syntax for locale vs. class parameters;
2018-09-28, by wenzelm
simpler def
2018-09-27, by nipkow
tuned signature;
2018-09-26, by wenzelm
tuned signature;
2018-09-26, by wenzelm
provide CakeML component
2018-09-26, by Lars Hupel
clarified get_infix: avoid old ASCII input syntax;
2018-09-26, by wenzelm
remove dubious import
2018-09-26, by Lars Hupel
export locale dependencies, with approx. morphism as type/term substitution;
2018-09-25, by wenzelm
tuned signature;
2018-09-25, by wenzelm
merged
2018-09-24, by nipkow
NEWS
2018-09-24, by nipkow
more conversion from ( * ) to (*)
2018-09-24, by nipkow
Prefix form of infix with * on either side no longer needs special treatment
2018-09-24, by nipkow
expose locale_dependency information;
2018-09-24, by wenzelm
tuned signature;
2018-09-24, by wenzelm
tuned signature: more explicit types;
2018-09-24, by wenzelm
tuned;
2018-09-24, by wenzelm
tuned signature: prefer value-oriented pretty-printing;
2018-09-24, by wenzelm
tuned signature;
2018-09-24, by wenzelm
tuned signature: prefer value-oriented pretty-printing;
2018-09-24, by wenzelm

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

isabelle