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

merged
2017-08-24, by paulson
work on integrable_alt, etc.
2017-08-24, by paulson
tidying up has_integral'
2017-08-24, by paulson
more elimination of "guess", etc.
2017-08-24, by paulson
Added lemmas
2017-08-25, by nipkow
swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
2017-08-24, by haftmann
more correct output syntax declaration
2017-08-24, by haftmann
tuned
2017-08-24, by nipkow
Merge (non-trivial)
2017-08-24, by paulson
More tidying, and renaming of theorems
2017-08-23, by paulson
merged
2017-08-23, by paulson
More tidying up of monotone_convergence_interval
2017-08-23, by paulson
tuning (proofs and code)
2017-08-24, by blanchet
upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
2017-08-24, by blanchet
dedicated local for "operative" avoids namespace pollution
2017-08-23, by haftmann
reorg
2017-08-23, by nipkow
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
proper update of options (amending c3d6dd17d626);
2017-08-20, by wenzelm
more robust plugin restart;
2017-08-20, by wenzelm
more robust shutdown, e.g. when plugin is stopped;
2017-08-20, by wenzelm
separate base plugin for important services that should be always available, despite startup errors of the main plugin;
2017-08-20, by wenzelm
Various lemmas for HOL-Analysis
2017-08-20, by Manuel Eberl
merged
2017-08-18, by wenzelm
more NEWS;
2017-08-18, by wenzelm
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-08-18, by wenzelm
more informative error message, e.g. relevant for incoherent imports;
2017-08-18, by wenzelm
syntax for pattern aliases
2017-08-18, by Lars Hupel
NEWS: Removed constant subseq; subsumed by strict_mono
2017-08-17, by eberlm
support for incremental update according to session graph structure;
2017-08-17, by wenzelm
Merged
2017-08-17, by eberlm
Replaced subseq with strict_mono
2017-08-17, by eberlm

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

isabelle