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

Merge
2015-11-10, by paulson
Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.
2015-11-10, by paulson
subdegree/shift/cutoff and Euclidean ring instance for formal power series
2015-11-10, by eberlm
prefer static Font -- evade spontaneous change of TextField.font seen with Metal L&F in Plugin Options / Isabelle / General / Apply;
2015-11-09, by wenzelm
uniform mandatory qualifier for all locale expressions, including 'statespace' parent;
2015-11-09, by wenzelm
qualifier is mandatory by default;
2015-11-09, by wenzelm
prefer explicit State panel;
2015-11-09, by wenzelm
suppress already persistent state output as well;
2015-11-09, by wenzelm
added option timeout_scale;
2015-11-08, by wenzelm
syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;
2015-11-07, by wenzelm
clarified completion of explicit symbols (see also f6bd97a587b7, e0e4ac981cf1);
2015-11-07, by wenzelm
tuned;
2015-11-07, by wenzelm
less confusing markup;
2015-11-07, by wenzelm
added @{undefined} with somewhat undefined symbol;
2015-11-07, by wenzelm
ML cartouches via control antiquotation;
2015-11-07, by wenzelm

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

isabelle