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