22 months ago paulson 2017-08-24 more elimination of "guess", etc.
22 months ago nipkow 2017-08-25 Added lemmas
22 months ago haftmann 2017-08-24 swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
22 months ago haftmann 2017-08-24 more correct output syntax declaration
22 months ago nipkow 2017-08-24 tuned
22 months ago paulson 2017-08-24 Merge (non-trivial)
22 months ago paulson 2017-08-23 More tidying, and renaming of theorems
22 months ago paulson 2017-08-23 merged
22 months ago paulson 2017-08-23 More tidying up of monotone_convergence_interval
22 months ago blanchet 2017-08-24 tuning (proofs and code)
22 months ago blanchet 2017-08-24 upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
22 months ago haftmann 2017-08-23 dedicated local for "operative" avoids namespace pollution
22 months ago nipkow 2017-08-23 reorg
22 months ago nipkow 2017-08-23 added lemma
22 months ago eberlm 2017-08-23 Merged
22 months ago Manuel Eberl 2017-08-23 HOL-Library: going_to filter
22 months ago paulson 2017-08-23 more on the dreadful monotone_convergence_interval
22 months ago Manuel Eberl 2017-08-22 Lemmas about analysis and permutations
22 months ago Lars Hupel 2017-08-22 tuned
22 months ago Lars Hupel 2017-08-22 merged
22 months ago Lars Hupel 2017-08-22 tuned syntax
22 months ago wenzelm 2017-08-22 tuned;
22 months ago Lars Hupel 2017-08-22 output syntax for pattern aliases
22 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
22 months ago wenzelm 2017-08-21 proper argument type (amending 8d5cb4ea2b7c);
22 months ago wenzelm 2017-08-21 tuned;
22 months ago wenzelm 2017-08-21 updated for release;
22 months ago wenzelm 2017-08-21 tuned;
22 months ago wenzelm 2017-08-21 misc updates for release;
22 months ago wenzelm 2017-08-21 tuned;
22 months ago wenzelm 2017-08-21 tuned;
22 months ago wenzelm 2017-08-21 misc tuning and updates for release;
22 months ago wenzelm 2017-08-21 updated to sqlite-jdbc-3.20.0;
22 months ago wenzelm 2017-08-21 updated to postgresql-42.1.4;
22 months ago wenzelm 2017-08-21 avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
22 months ago wenzelm 2017-08-21 added missing file (cf. 9098c36abd1a);
22 months ago Manuel Eberl 2017-08-20 Merged
22 months ago Manuel Eberl 2017-08-20 More lemmas for HOL-Analysis
22 months ago wenzelm 2017-08-20 merged
22 months ago wenzelm 2017-08-20 updated for release;
22 months ago wenzelm 2017-08-20 enforce Isabelle plugins to be enabled;
22 months ago wenzelm 2017-08-20 officially allow restart of Isabelle plugin;
22 months ago wenzelm 2017-08-20 reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin;
22 months ago wenzelm 2017-08-20 proper update of options (amending c3d6dd17d626);
22 months ago wenzelm 2017-08-20 more robust plugin restart;
22 months ago wenzelm 2017-08-20 more robust shutdown, e.g. when plugin is stopped;
22 months ago wenzelm 2017-08-20 separate base plugin for important services that should be always available, despite startup errors of the main plugin;
22 months ago Manuel Eberl 2017-08-20 Various lemmas for HOL-Analysis
22 months ago wenzelm 2017-08-18 merged
22 months ago wenzelm 2017-08-18 more NEWS;
22 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
22 months ago wenzelm 2017-08-18 more informative error message, e.g. relevant for incoherent imports;
22 months ago Lars Hupel 2017-08-18 syntax for pattern aliases
22 months ago eberlm 2017-08-17 NEWS: Removed constant subseq; subsumed by strict_mono
22 months ago wenzelm 2017-08-17 support for incremental update according to session graph structure;
22 months ago eberlm 2017-08-17 Merged
22 months ago eberlm 2017-08-17 Replaced subseq with strict_mono
22 months ago Lars Hupel 2017-08-17 fix document
22 months ago wenzelm 2017-08-17 more complete session (amending e77ea0ea7f2c);
22 months ago wenzelm 2017-08-17 clarified imports;