| Sun, 06 Apr 2025 15:11:40 +0200 |
wenzelm |
update to e-3.2, which is actually 3.2.5;
|
file |
diff |
annotate
|
| Sat, 04 Jan 2025 15:03:23 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Fri, 03 Jan 2025 22:35:28 +0100 |
wenzelm |
rebuild E 3.1 on Windows/Cygwin, with patch for proper interrupts;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Wed, 01 May 2024 20:12:58 +0200 |
wenzelm |
build e-3.1, without patch;
|
file |
diff |
annotate
|
| Wed, 24 Apr 2024 20:05:25 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Thu, 28 Mar 2024 11:35:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 03 Mar 2024 12:00:44 +0100 |
wenzelm |
proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2024 20:31:23 +0100 |
wenzelm |
provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 11:25:11 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 22:54:44 +0100 |
wenzelm |
renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
|
file |
diff |
annotate
| base
|