Sat, 02 Sep 2017 17:21:52 +0200 wenzelm VSCode extension for official Isabelle release;
Sat, 02 Sep 2017 17:15:12 +0200 wenzelm auto update;
Sat, 02 Sep 2017 17:04:24 +0200 wenzelm simplified README: this is for development version;
Sat, 02 Sep 2017 12:55:44 +0200 wenzelm tuned;
Sat, 02 Sep 2017 12:09:07 +0200 wenzelm tuned whitespace;
Fri, 01 Sep 2017 15:42:10 +0200 wenzelm clarified startup sequence;
Fri, 01 Sep 2017 15:21:10 +0200 wenzelm tuned signature;
Fri, 01 Sep 2017 15:15:29 +0200 wenzelm more robust: provide docking framework via base plugin;
Fri, 01 Sep 2017 14:58:19 +0200 wenzelm more robust;
Fri, 01 Sep 2017 12:57:24 +0200 wenzelm tuned headers;
Fri, 01 Sep 2017 12:54:31 +0200 wenzelm eliminated suspicious Unicode;
Fri, 01 Sep 2017 12:52:46 +0200 wenzelm auto update;
Fri, 01 Sep 2017 12:47:23 +0200 wenzelm more PIDE markup;
Fri, 01 Sep 2017 12:19:40 +0200 bulwahn merged
Fri, 01 Sep 2017 09:45:56 +0200 bulwahn more facts on Map.map_of and List.zip
Sun, 27 Aug 2017 06:56:29 +0200 bulwahn more facts on Map.ran
Sun, 27 Aug 2017 06:27:01 +0200 bulwahn another fact on (- 1) ^ _
Fri, 01 Sep 2017 11:33:32 +0200 ballarin Update header of locale.ML
Thu, 31 Aug 2017 21:48:03 +0200 ballarin Avoid \mu and \nu as constant syntax, use LFP and GFP instead.
Thu, 31 Aug 2017 21:48:01 +0200 ballarin Revert 5a42eddc11c1.
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
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip