Wed, 02 Apr 2025 21:52:54 +0200 wenzelm support for jEdit.openFiles with "+offset:" specification --- requires to update jedit component;
Wed, 02 Apr 2025 13:39:12 +0200 wenzelm more accurate navigator position;
Tue, 01 Apr 2025 21:37:02 +0200 wenzelm clarified actions and keyboard shortcuts --- requires to update jedit component;
Tue, 01 Apr 2025 20:59:01 +0200 wenzelm tuned GUI (see also a01c1f874362) --- requires to update jedit component;
Tue, 01 Apr 2025 11:59:07 +0200 wenzelm support for navigation, independently of Navigator plugin;
Mon, 31 Mar 2025 14:32:46 +0200 wenzelm misc tuning: more modular message dispatch;
Sat, 29 Mar 2025 15:35:12 +0100 wenzelm provide component for https://files.sketis.net/Isabelle_Naproche-20250328
Tue, 25 Mar 2025 23:05:15 +0100 wenzelm tuned signature;
Tue, 25 Mar 2025 22:23:27 +0100 wenzelm clarified signature;
Tue, 25 Mar 2025 21:24:39 +0100 wenzelm tuned (see also 20b261654e33);
Tue, 25 Mar 2025 15:53:54 +0100 wenzelm more robust;
Tue, 25 Mar 2025 15:50:41 +0100 wenzelm tuned: fewer warnings in IntelliJ IDEA;
Tue, 25 Mar 2025 13:53:07 +0100 wenzelm tuned GUI: follow org.gjt.sp.jedit.search.SearchBar;
Fri, 04 Apr 2025 16:38:16 +0100 paulson merged
Fri, 04 Apr 2025 16:37:58 +0100 paulson Inserted more of Manuel Eberl's material
Fri, 04 Apr 2025 15:30:03 +0200 desharna merged
Wed, 02 Apr 2025 11:26:40 +0200 desharna tuned NEWS
Fri, 04 Apr 2025 15:27:28 +0200 desharna added proof method "iprover" to try0
Wed, 02 Apr 2025 11:18:35 +0200 desharna added a user-configurable schedule to try0
Thu, 03 Apr 2025 21:08:36 +0100 paulson Lemmas from Manuel Eberl's Q_Analogues
Wed, 02 Apr 2025 16:56:36 +0200 nipkow Added lemma
Tue, 01 Apr 2025 12:10:45 +0200 haftmann more on sorting
Tue, 01 Apr 2025 10:20:14 +0200 desharna tuned whitespaces
Mon, 31 Mar 2025 22:46:18 +0100 paulson merged
Mon, 31 Mar 2025 22:46:11 +0100 paulson Some generalisations (mostly at the level of type classes) by Alexander Pach
Sun, 30 Mar 2025 20:20:27 +0200 haftmann tuned
Sun, 30 Mar 2025 20:20:26 +0200 haftmann tuned
Mon, 31 Mar 2025 19:17:51 +0200 desharna tuned
Mon, 31 Mar 2025 18:58:24 +0200 desharna tuned
Mon, 31 Mar 2025 18:55:45 +0200 desharna tuned signature
Mon, 31 Mar 2025 16:53:14 +0200 blanchet garbage collection
Mon, 31 Mar 2025 10:15:48 +0200 desharna removed old Vampire configuration from Sledgehammer
Mon, 31 Mar 2025 09:50:28 +0200 desharna removed old E configuration from Sledgehammer
Mon, 31 Mar 2025 09:30:44 +0200 desharna removed unused function
Sun, 30 Mar 2025 13:50:06 +0200 haftmann tuned namespace organisation
Sun, 30 Mar 2025 13:50:06 +0200 haftmann optional external files as code modules
Sun, 30 Mar 2025 11:21:34 +0200 haftmann proper markup for target language code
Sun, 30 Mar 2025 11:21:32 +0200 haftmann tuned
Fri, 28 Mar 2025 14:13:40 +0100 haftmann tuned
Fri, 28 Mar 2025 14:13:38 +0100 haftmann tuned
Fri, 28 Mar 2025 14:13:37 +0100 haftmann tuned
Fri, 28 Mar 2025 14:13:36 +0100 haftmann spelling
Fri, 28 Mar 2025 16:37:58 +0100 desharna tuned
Fri, 28 Mar 2025 16:20:48 +0100 desharna removed debug commands
Fri, 28 Mar 2025 16:17:39 +0100 desharna merged
Fri, 28 Mar 2025 16:11:05 +0100 desharna refactored tactic-based provers in sledgehammer to use Try0 module
Fri, 28 Mar 2025 16:09:20 +0100 desharna tuned stringification of proof method in try0
Fri, 28 Mar 2025 11:56:18 +0100 haftmann simplified implementation of the_signed_int
Fri, 28 Mar 2025 08:56:13 +0100 desharna tuned
Fri, 28 Mar 2025 08:24:07 +0100 desharna merged
Thu, 27 Mar 2025 16:35:41 +0100 desharna tuned signature
Thu, 27 Mar 2025 14:33:08 +0100 desharna tuned and moved configuration of auto_try0 to theory HOL
Thu, 27 Mar 2025 13:44:42 +0100 desharna removed unused function
Thu, 27 Mar 2025 13:40:33 +0100 desharna tuned signature
Thu, 27 Mar 2025 13:30:16 +0100 desharna moved try0's HOL-specific stuff into own theory
Thu, 27 Mar 2025 11:20:59 +0100 desharna moved HOL-specific code out of ML file for generic try0
Thu, 27 Mar 2025 10:30:28 +0100 desharna tuned signature
Thu, 27 Mar 2025 10:18:33 +0100 desharna tuned
Thu, 27 Mar 2025 10:06:43 +0100 desharna refactored try0's internals
Wed, 26 Mar 2025 09:51:26 +0100 desharna tuned naming
(0) -30000 -10000 -3000 -1000 -300 -100 -60 tip