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

more accurate position for enclosing cartouche;
2018-01-09, by wenzelm
tuned;
2018-01-09, by wenzelm
clarified signature;
2018-01-09, by wenzelm
clarified presentation_state with provide presentation_context;
2018-01-09, by wenzelm
show only symbols with code;
2018-01-09, by wenzelm
clarified markup: more like outer syntax side-comment;
2018-01-09, by wenzelm
clarified rail token language: white space and formal comments;
2018-01-09, by wenzelm
clarified modules;
2018-01-09, by wenzelm
removed duplicate text;
2018-01-09, by wenzelm
clarified exception;
2018-01-09, by wenzelm
merged;
2018-01-09, by wenzelm
updated to 146757999c8d;
2018-01-09, by wenzelm
theory Pure is default presentation context;
2018-01-08, by wenzelm
clarified implicit Pure.thy;
2018-01-08, by wenzelm
prefer qualified names;
2018-01-08, by wenzelm
tuned;
2018-01-08, by wenzelm
check formal comments recursively, within arbitrary cartouches (unknown sublanguages);
2018-01-08, by wenzelm
more operations;
2018-01-08, by wenzelm
tuned;
2018-01-08, by wenzelm
clarified output (see also 909dcdec2122, 34d1913f0b20);
2018-01-08, by wenzelm
more operations;
2018-01-08, by wenzelm
tuned;
2018-01-08, by wenzelm
moved in some material from Euler-MacLaurin
2018-01-08, by paulson
merged
2018-01-07, by wenzelm
prefer formal comments;
2018-01-07, by wenzelm
clarified NEWS;
2018-01-07, by wenzelm
tuned whitespace;
2018-01-07, by wenzelm
tuned;
2018-01-07, by wenzelm
support for formal comments in ML in Isabelle/Scala;
2018-01-07, by wenzelm
tuned;
2018-01-07, by wenzelm

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

isabelle