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

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
repaired whitespace accident from 2505cabfc515
2018-01-02, by haftmann
proper namespace for evaluators
2018-01-01, by haftmann
tuned
2018-01-01, by haftmann

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

isabelle