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

add "slow" group to descendants of HOL-Proofs
2016-04-15, by Lars Hupel
merged
2016-04-15, by wenzelm
support for Poly/ML entity ids;
2016-04-15, by wenzelm
clarified PIDE reports;
2016-04-15, by wenzelm
clarified rendering wrt. hyperlinks;
2016-04-15, by wenzelm
tuned -- no position;
2016-04-15, by wenzelm
clarified focus visibility;
2016-04-15, by wenzelm
tuned rendering;
2016-04-15, by wenzelm
highlighting of entity def/ref positions wrt. cursor;
2016-04-14, by wenzelm
background color for entity def/ref focus;
2016-04-14, by wenzelm
tuned;
2016-04-14, by wenzelm
more silence;
2016-04-14, by wenzelm
avoid misleading Simplifier trace in quickcheck, notably in auto quickcheck;
2016-04-14, by wenzelm
tuned;
2016-04-14, by wenzelm
tuned;
2016-04-14, by wenzelm
clarified context;
2016-04-14, by wenzelm
misc tuning and standardization;
2016-04-14, by wenzelm
tuned headers;
2016-04-14, by wenzelm
fix HOL-Probability-ex
2016-04-15, by hoelzl
change is incompatible
2016-04-14, by hoelzl
Probability: move emeasure and nn_integral from ereal to ennreal
2016-04-14, by hoelzl
tuned;
2016-04-14, by wenzelm
clarified modules;
2016-04-14, by wenzelm
tuned;
2016-04-14, by wenzelm
back to exact copy of non-text file (amending dcc8e1d34b18);
2016-04-14, by wenzelm
merged
2016-04-13, by wenzelm
eliminated "xname" and variants;
2016-04-13, by wenzelm
clarified syntax;
2016-04-13, by wenzelm
more completions, independently on accidental external form (e.g. "Map.empty" with its redundant prefix);
2016-04-13, by wenzelm
tuned;
2016-04-13, by wenzelm

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

isabelle