| Thu, 02 May 2024 15:40:05 +0200 |
wenzelm |
Added tag Isabelle2024-RC3 for changeset 007e6af8a020
|
changeset |
files
|
| Thu, 02 May 2024 14:08:59 +0200 |
wenzelm |
more documentation on "System registry via TOML";
|
changeset |
files
|
| Thu, 02 May 2024 04:38:10 +0200 |
wenzelm |
update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows;
|
changeset |
files
|
| Wed, 01 May 2024 20:26:20 +0200 |
wenzelm |
provide 3.1 for testing (inactive);
|
changeset |
files
|
| Wed, 01 May 2024 20:12:58 +0200 |
wenzelm |
build e-3.1, without patch;
|
changeset |
files
|
| Wed, 01 May 2024 20:11:36 +0200 |
wenzelm |
disable Isabelle/Naproche for now: does not quite work on Windows;
|
changeset |
files
|
| Wed, 01 May 2024 16:16:05 +0200 |
wenzelm |
update and activate naproche component for release;
|
changeset |
files
|
| Mon, 29 Apr 2024 14:50:10 +0200 |
desharna |
changed URL to SystemOnTPTP at Geoff's request
|
changeset |
files
|
| Mon, 29 Apr 2024 12:22:06 +0200 |
wenzelm |
tuned spelling;
|
changeset |
files
|
| Sun, 28 Apr 2024 14:28:36 +0200 |
wenzelm |
build_cluster always uses build_database_server for now -- despite 1fa1b32b0379: its local/remote storage model often leads to incoherent state;
|
changeset |
files
|
| Fri, 26 Apr 2024 21:32:27 +0200 |
wenzelm |
proper directory permissions to make "rm" work, notably for cygwin/etc/pki/ca-trust/extracted/pem/directory-hash;
|
changeset |
files
|
| Fri, 26 Apr 2024 20:18:15 +0200 |
wenzelm |
support more Ubuntu versions;
|
changeset |
files
|
| Fri, 26 Apr 2024 20:14:27 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Fri, 26 Apr 2024 19:15:37 +0200 |
wenzelm |
more robust: avoid spurious ConcurrentModificationException;
|
changeset |
files
|
| Wed, 24 Apr 2024 20:41:35 +0200 |
wenzelm |
update to e-3.0.03-1, with proper support for trivial statements;
|
changeset |
files
|
| Wed, 24 Apr 2024 20:05:25 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Wed, 24 Apr 2024 19:48:45 +0200 |
wenzelm |
minor patch for E Prover, based on "git diff -w -r E-3.0.03 E-3.0.08": proper support for trivial statements;
|
changeset |
files
|
| Sat, 20 Apr 2024 17:10:34 +0200 |
wenzelm |
backed out changeset 601ff5c7cad5: not relevant for Isabelle2024;
|
changeset |
files
|
| Sat, 20 Apr 2024 16:07:00 +0200 |
wenzelm |
clone of 0c51e0a6bc37;
|
changeset |
files
|
| Fri, 26 Apr 2024 13:25:44 +0200 |
wenzelm |
update Windows test machines;
|
changeset |
files
|
| Wed, 24 Apr 2024 20:56:26 +0100 |
paulson |
More tidying of proofs
|
changeset |
files
|
| Wed, 24 Apr 2024 09:21:44 +0100 |
paulson |
Another Nominal example
|
changeset |
files
|
| Tue, 23 Apr 2024 21:58:42 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 23 Apr 2024 21:58:21 +0100 |
paulson |
Tidying up another Nominal example (SOS)
|
changeset |
files
|