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

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
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
corrected op
2018-01-06, by nipkow
tuned op
2018-01-06, by nipkow
tuned op
2018-01-06, by nipkow
tuned op
2018-01-06, by nipkow
tuned op
2018-01-06, by nipkow
tuned op's
2018-01-06, by nipkow
tuned op
2018-01-06, by nipkow
tuned op
2018-01-06, by nipkow
tuned op's
2018-01-05, by nipkow
Renamed (^) to [^] in preparation of the move from "op X" to (X)
2018-01-05, by nipkow
tuned op
2018-01-05, by nipkow
HOL-Analysis: add set_integrable_restrict_space
2018-01-04, by hoelzl
more correct parentheses
2018-01-03, by haftmann
more tight HTML output: avoid extra lines within <pre>;
2018-01-03, by wenzelm
HTML output for Markdown elements;
2018-01-03, by wenzelm
updated NEWS
2018-01-03, by blanchet
removed dead code
2018-01-03, by blanchet
removed old 'add_datatype' ML functions
2018-01-03, by blanchet
kill old size infrastructure
2018-01-03, by blanchet

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

isabelle