| Mon, 03 Feb 2025 10:46:57 +0100 |
desharna |
added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp
Isabelle2025-RC1
|
changeset |
files
|
| Mon, 03 Feb 2025 10:04:59 +0100 |
desharna |
added lemma strict_partial_order_wfp_on_finite_set
|
changeset |
files
|
| Sun, 02 Feb 2025 21:53:08 +0100 |
wenzelm |
proper order of operations: archive before purge;
|
changeset |
files
|
| Sun, 02 Feb 2025 17:25:12 +0100 |
wenzelm |
more robust (see also 9601f5582f33);
|
changeset |
files
|
| Sun, 02 Feb 2025 17:11:45 +0100 |
wenzelm |
tuned spelling;
|
changeset |
files
|
| Sun, 02 Feb 2025 17:05:06 +0100 |
wenzelm |
clarified NEWS: not user-relevant;
|
changeset |
files
|
| Sun, 02 Feb 2025 16:04:09 +0100 |
wenzelm |
tuned documentation;
|
changeset |
files
|
| Sun, 02 Feb 2025 14:16:26 +0100 |
wenzelm |
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
|
changeset |
files
|
| Sun, 02 Feb 2025 13:17:54 +0100 |
wenzelm |
just one flatlaf version: native libraries are optional;
|
changeset |
files
|
| Sun, 02 Feb 2025 12:11:03 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 02 Feb 2025 00:14:26 +0100 |
Fabian Huch |
merged
|
changeset |
files
|
| Sun, 02 Feb 2025 00:11:06 +0100 |
Fabian Huch |
clarified name;
|
changeset |
files
|
| Sun, 02 Feb 2025 00:08:41 +0100 |
Fabian Huch |
documentation about Build_Manager;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:41:43 +0100 |
Fabian Huch |
tuned;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:39:44 +0100 |
Fabian Huch |
use ssh host for default address;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:31:19 +0100 |
Fabian Huch |
tuned;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:30:09 +0100 |
Fabian Huch |
clarified option name;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:28:32 +0100 |
Fabian Huch |
clarified options: extra ssh connection to cluster of build_manager;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:20:42 +0100 |
Fabian Huch |
tuned output;
|
changeset |
files
|
| Sat, 01 Feb 2025 20:46:01 +0100 |
Fabian Huch |
tuned: more standard;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:49:33 +0100 |
wenzelm |
merged;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:41:05 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Sat, 01 Feb 2025 22:13:49 +0100 |
wenzelm |
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
|
changeset |
files
|
| Sat, 01 Feb 2025 20:05:06 +0100 |
wenzelm |
update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
|
changeset |
files
|
| Sat, 01 Feb 2025 19:29:54 +0100 |
Fabian Huch |
tuned whitespace;
|
changeset |
files
|
| Sat, 01 Feb 2025 19:23:08 +0100 |
Fabian Huch |
documentation about Find_Facts;
|
changeset |
files
|
| Sat, 01 Feb 2025 18:29:07 +0100 |
Fabian Huch |
more standard: let OS pick random port by default;
|
changeset |
files
|
| Sat, 01 Feb 2025 15:00:39 +0100 |
Fabian Huch |
clarified platforms;
|
changeset |
files
|
| Fri, 31 Jan 2025 23:03:45 +0100 |
wenzelm |
tuned NEWS;
|
changeset |
files
|
| Fri, 31 Jan 2025 17:01:52 +0100 |
Lukas Stevens |
merged
|
changeset |
files
|
| Fri, 31 Jan 2025 17:01:27 +0100 |
Lukas Stevens |
more canonical formatting
|
changeset |
files
|
| Fri, 31 Jan 2025 16:59:12 +0100 |
Lukas Stevens |
add hook to insert premises in the order solver
|
changeset |
files
|
| Fri, 31 Jan 2025 16:23:53 +0100 |
wenzelm |
less NEWS (see also afae60d6ff15);
|
changeset |
files
|
| Wed, 08 Jan 2025 15:19:37 +0100 |
wenzelm |
switch from CVC5 to cvc5, including updates of internal tool references;
|
changeset |
files
|
| Thu, 30 Jan 2025 22:29:45 +0100 |
wenzelm |
more robust wrt. Par_List.map in Browser_Info.build(), see also 2fff9ce6b460 and 787a203a20b6;
|
changeset |
files
|
| Thu, 30 Jan 2025 21:44:44 +0100 |
wenzelm |
more thorough cleanup;
|
changeset |
files
|
| Thu, 30 Jan 2025 20:55:42 +0100 |
wenzelm |
more options for build_release: support bundled browser_info and Find_Facts database;
|
changeset |
files
|
| Thu, 30 Jan 2025 13:16:51 +0100 |
wenzelm |
more standard directory structure;
|
changeset |
files
|
| Thu, 30 Jan 2025 13:13:21 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Thu, 30 Jan 2025 11:53:26 +0100 |
wenzelm |
suppress MacOS.jar from jEdit 5.7.0, following 65fd0f032a75;
|
changeset |
files
|
| Wed, 29 Jan 2025 21:25:44 +0100 |
wenzelm |
tuned GUI: attempt to improve divider mobility;
|
changeset |
files
|
| Wed, 29 Jan 2025 20:52:27 +0100 |
wenzelm |
rebuild jedit component;
|
changeset |
files
|
| Wed, 29 Jan 2025 20:17:21 +0100 |
wenzelm |
make double sure that buffer.lineSeparator is well-defined: prevent a situation where $JEDIT_SETTINGS/properties would contain "buffer.lineSeparator=" and new-file would lead to a buffer with empty lineSeparator, and save would produce just one line;
|
changeset |
files
|
| Wed, 29 Jan 2025 14:43:14 +0100 |
wenzelm |
more accurate syntax: follow documentation in "isar-ref" (and command 'syntax_consts');
|
changeset |
files
|
| Wed, 29 Jan 2025 11:53:49 +0100 |
wenzelm |
more robust: make double sure that buffer.getText() is valid (see also 2e7073976c25);
|
changeset |
files
|
| Tue, 28 Jan 2025 21:42:51 +0100 |
haftmann |
clarifed terminology
|
changeset |
files
|
| Tue, 28 Jan 2025 21:42:04 +0100 |
nipkow |
extracted the ^^ subtheory for modularity reasons
|
changeset |
files
|
| Tue, 28 Jan 2025 17:30:00 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Tue, 28 Jan 2025 14:53:36 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 28 Jan 2025 14:53:08 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 28 Jan 2025 13:42:40 +0100 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Tue, 28 Jan 2025 13:37:02 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 28 Jan 2025 13:35:08 +0100 |
wenzelm |
tuned names;
|
changeset |
files
|
| Tue, 28 Jan 2025 13:33:07 +0100 |
wenzelm |
minor performance tuning: avoid somewhat indirect filter / add_consts;
|
changeset |
files
|
| Tue, 28 Jan 2025 11:29:42 +0100 |
wenzelm |
clarified signature: more standard map_data;
|
changeset |
files
|
| Tue, 28 Jan 2025 11:20:53 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Tue, 28 Jan 2025 11:17:07 +0100 |
wenzelm |
clarified signature with minor performance tuning: avoid Context.proof_of with its Proof_Context.init_global;
|
changeset |
files
|
| Tue, 28 Jan 2025 11:05:45 +0100 |
wenzelm |
tuned names;
|
changeset |
files
|
| Tue, 28 Jan 2025 13:02:42 +0100 |
haftmann |
more explicit tests for non-PolyML SML platforms
|
changeset |
files
|
| Tue, 28 Jan 2025 07:17:30 +0100 |
haftmann |
typo
|
changeset |
files
|