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

tuned signature;
2017-06-23, by wenzelm
tuned;
2017-06-23, by wenzelm
NEWS;
2017-06-23, by wenzelm
indentation of keywords after input;
2017-06-23, by wenzelm
indent = 0 for blank lines: produce less whitespace by default;
2017-06-23, by wenzelm
clarified prev_line: stop at blank line;
2017-06-23, by wenzelm
more information;
2017-06-23, by wenzelm
tuned signature;
2017-06-23, by wenzelm
tuned;
2017-06-23, by wenzelm
avoid trailing spaces;
2017-06-23, by wenzelm
clarified modules;
2017-06-23, by wenzelm
Merged
2017-06-23, by eberlm
distrib_lattice instance for filters
2017-06-23, by eberlm
merged
2017-06-22, by wenzelm
keep original bottom-up order of proof forks, which potentially reduces thread congestion due to Proofterm.consolidate;
2017-06-22, by wenzelm
consolidate proofs more simultaneously;
2017-06-22, by wenzelm
more informative task_statistics;
2017-06-22, by wenzelm
more informative task_statistics;
2017-06-22, by wenzelm
Merge
2017-06-22, by paulson
New theorems and much tidying up of the old ones
2017-06-22, by paulson
added 'solvers' option to Nunchaku
2017-06-22, by blanchet
Contravariant map on filters
2017-06-22, by eberlm
merged
2017-06-21, by wenzelm
tuned granularity of parallel tasks;
2017-06-21, by wenzelm
more completion;
2017-06-21, by wenzelm
clarified modules;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
added -d option to Mirabelle
2017-06-21, by blanchet
stripped code pre/postprocessor setup for real from superfluous rules
2017-06-20, by haftmann
Tidying up integration theory and some new theorems
2017-06-21, by paulson
more completion;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
deleting a code equation never leads to unimplemented function
2017-06-20, by haftmann
avoid ancient [code, code del] antipattern
2017-06-20, by haftmann
obsolete
2017-06-20, by haftmann
register equations stemming from extracted proofs as specification rules
2017-06-20, by haftmann
tuned
2017-06-20, by haftmann
merged
2017-06-20, by wenzelm
tuned signature;
2017-06-20, by wenzelm
proper treatment of empty result;
2017-06-20, by wenzelm
clarified modules;
2017-06-20, by wenzelm
tuned signature;
2017-06-20, by wenzelm
provide spell-checker menu via completion commands;
2017-06-20, by wenzelm
added commands for spell-checker dictionary;
2017-06-20, by wenzelm
tuned signature;
2017-06-20, by wenzelm
tuning
2017-06-20, by blanchet
SMT news
2017-06-20, by blanchet
correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code
2017-06-20, by blanchet
do not print unimplemented functions
2017-06-20, by haftmann
dropped void values
2017-06-20, by haftmann
more uniform order of constructors
2017-06-20, by haftmann
more consistent terminology
2017-06-20, by haftmann
avoid name particle "the" where no selection is implied
2017-06-20, by haftmann
more uniform ordering and naming of sections;
2017-06-20, by haftmann
tuned internal signature
2017-06-20, by haftmann
more explicit constructor name
2017-06-20, by haftmann
tuned whitespace
2017-06-20, by haftmann
replaced recdef by fun
2017-06-20, by haftmann

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

isabelle