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

added lemma
2017-08-23, by nipkow
Merged
2017-08-23, by eberlm
HOL-Library: going_to filter
2017-08-23, by Manuel Eberl
more on the dreadful monotone_convergence_interval
2017-08-23, by paulson
Lemmas about analysis and permutations
2017-08-22, by Manuel Eberl
tuned
2017-08-22, by Lars Hupel
merged
2017-08-22, by Lars Hupel
tuned syntax
2017-08-22, by Lars Hupel
tuned;
2017-08-22, by wenzelm
output syntax for pattern aliases
2017-08-22, by Lars Hupel
HOL-Analysis: Convergent FPS and infinite sums
2017-08-21, by Manuel Eberl
proper argument type (amending 8d5cb4ea2b7c);
2017-08-21, by wenzelm
tuned;
2017-08-21, by wenzelm
updated for release;
2017-08-21, by wenzelm
tuned;
2017-08-21, by wenzelm
misc updates for release;
2017-08-21, by wenzelm
tuned;
2017-08-21, by wenzelm
tuned;
2017-08-21, by wenzelm
misc tuning and updates for release;
2017-08-21, by wenzelm
updated to sqlite-jdbc-3.20.0;
2017-08-21, by wenzelm
updated to postgresql-42.1.4;
2017-08-21, by wenzelm
avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
2017-08-21, by wenzelm
added missing file (cf. 9098c36abd1a);
2017-08-21, by wenzelm
Merged
2017-08-20, by Manuel Eberl
More lemmas for HOL-Analysis
2017-08-20, by Manuel Eberl
merged
2017-08-20, by wenzelm
updated for release;
2017-08-20, by wenzelm
enforce Isabelle plugins to be enabled;
2017-08-20, by wenzelm
officially allow restart of Isabelle plugin;
2017-08-20, by wenzelm
reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin;
2017-08-20, by wenzelm

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

isabelle