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

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
tuned message;
2018-01-07, by wenzelm
allow formal comments in ML;
2018-01-07, by wenzelm
clarified modules;
2018-01-07, by wenzelm
tuned;
2018-01-07, by wenzelm
more uniform output: formal comments within {* ... *};
2018-01-07, by wenzelm
tuned;
2018-01-07, by wenzelm
clarified output: avoid extra space;
2018-01-07, by wenzelm
output token content with formal comments and antiquotations;
2018-01-07, by wenzelm
tuned;
2018-01-07, by wenzelm
clarified signature;
2018-01-06, by wenzelm
clarified modules;
2018-01-06, by wenzelm
inner syntax comments may be written as "\<comment> \<open>text\<close>";
2018-01-06, by wenzelm
spelling
2018-01-07, by haftmann

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

isabelle