Thu, 31 Aug 2017 20:19:55 +0200 wenzelm merged
Thu, 31 Aug 2017 19:34:43 +0200 wenzelm template for $ISABELLE_HOME_USER/ROOTS;
Thu, 31 Aug 2017 19:29:42 +0200 wenzelm tuned;
Thu, 31 Aug 2017 19:06:14 +0200 wenzelm clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
Thu, 31 Aug 2017 17:31:56 +0200 wenzelm reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
Thu, 31 Aug 2017 17:21:38 +0200 wenzelm tuned;
Thu, 31 Aug 2017 16:35:09 +0200 wenzelm tolerate errors in session structure, although this may lead to confusion about theory imports later on;
Thu, 31 Aug 2017 16:30:46 +0200 wenzelm clarified errors;
Thu, 31 Aug 2017 11:42:10 +0200 wenzelm clarified signature;
Thu, 31 Aug 2017 11:15:38 +0200 wenzelm tuned;
Thu, 31 Aug 2017 17:48:20 +0200 eberlm Connecting PMFs to infinite sums
Thu, 31 Aug 2017 14:32:23 +0200 nipkow Moved material into AFP/Splay_Tree
Thu, 31 Aug 2017 09:50:11 +0200 nipkow merged
Thu, 31 Aug 2017 08:39:42 +0200 nipkow added PQ with merge
Thu, 31 Aug 2017 08:41:41 +0200 Andreas Lochbihler merged
Wed, 30 Aug 2017 18:01:27 +0200 Andreas Lochbihler add type of unordered pairs
Wed, 30 Aug 2017 22:51:44 +0100 paulson merged
Wed, 30 Aug 2017 22:51:30 +0100 paulson eliminated some goal_cases
Wed, 30 Aug 2017 21:46:41 +0100 paulson unscrambled has_integral_Union
Wed, 30 Aug 2017 23:36:21 +0200 blanchet added options to make veriT more complete
Wed, 30 Aug 2017 22:48:50 +0200 wenzelm faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
Wed, 30 Aug 2017 20:50:45 +0200 nipkow merged
Wed, 30 Aug 2017 18:35:23 +0200 nipkow added lemma
Wed, 30 Aug 2017 15:53:35 +0200 wenzelm more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
Tue, 29 Aug 2017 20:34:43 +0100 paulson correction to my previous commit
Tue, 29 Aug 2017 17:41:27 +0100 paulson merged
Tue, 29 Aug 2017 17:41:11 +0100 paulson last-minute integration unscrambling
Tue, 29 Aug 2017 18:30:23 +0200 blanchet towards support for HO SMT-LIB
Tue, 29 Aug 2017 16:24:14 +0200 eberlm Some small lemmas about polynomials and FPSs
Tue, 29 Aug 2017 17:01:11 +0200 nipkow tuned names
Tue, 29 Aug 2017 16:54:54 +0200 nipkow simpler definition
Tue, 29 Aug 2017 15:37:02 +0200 nipkow typo
Tue, 29 Aug 2017 15:07:15 +0200 nipkow tuned
Tue, 29 Aug 2017 13:56:15 +0200 blanchet tuned messages
Tue, 29 Aug 2017 13:56:14 +0200 blanchet improved Vampire proof parser
Tue, 29 Aug 2017 12:05:00 +0200 nipkow new file
Tue, 29 Aug 2017 11:08:42 +0200 wenzelm proper theory name;
Tue, 29 Aug 2017 07:27:10 +0200 nipkow news
Mon, 28 Aug 2017 22:32:22 +0100 paulson merged
Mon, 28 Aug 2017 22:31:47 +0100 paulson final cleanup of negligible_standard_hyperplane and other things
Mon, 28 Aug 2017 20:33:20 +0100 paulson merged
Mon, 28 Aug 2017 20:33:08 +0100 paulson sorted out cases in negligible_standard_hyperplane
Mon, 28 Aug 2017 20:02:43 +0100 paulson Unscrambling continues as far as negligible_standard_hyperplane
Mon, 28 Aug 2017 16:30:51 +0100 paulson unscrambled has_integral_restrict_open_subinterval
Mon, 28 Aug 2017 13:41:03 +0100 paulson merged
Mon, 28 Aug 2017 13:40:41 +0100 paulson Giant cleanup of fundamental_theorem_of_calculus_interior
Mon, 28 Aug 2017 00:12:07 +0100 paulson work on indefinite_integral_continuous_left, etc.
Mon, 28 Aug 2017 21:18:47 +0200 wenzelm merged
Mon, 28 Aug 2017 20:15:11 +0200 wenzelm not ready for release;
Mon, 28 Aug 2017 19:06:00 +0200 wenzelm updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
Mon, 28 Aug 2017 18:27:21 +0200 nipkow merged
Mon, 28 Aug 2017 18:27:16 +0200 nipkow added eta_expansion and its documentation.
Sat, 26 Aug 2017 18:58:40 +0200 eberlm More material on infinite sums
Sun, 27 Aug 2017 16:17:44 +0100 paulson merged
Sun, 27 Aug 2017 16:17:24 +0100 paulson some tidying of division_of_nontrivial
Sun, 27 Aug 2017 13:50:23 +0100 paulson division_of_nontrivial partial cleanup
Sun, 27 Aug 2017 16:56:25 +0200 nipkow tuning
Sun, 27 Aug 2017 13:02:13 +0200 nipkow tuned
Sat, 26 Aug 2017 23:58:03 +0100 paulson merged
Sat, 26 Aug 2017 23:57:50 +0100 paulson Elimination of some "presume"
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip