| 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 |
| Tue, 23 Apr 2024 15:57:03 +0200 | wenzelm | update Windows build host; | changeset | files |
| Tue, 23 Apr 2024 15:56:04 +0200 | wenzelm | proper command-line; | changeset | files |
| Tue, 23 Apr 2024 10:26:04 +0100 | paulson | Tidying up another of the nominal examples | changeset | files |
| Mon, 22 Apr 2024 22:08:28 +0100 | paulson | More tidying of Nominal proofs | changeset | files |
| Mon, 22 Apr 2024 10:43:57 +0100 | paulson | Tidied up another messy theory | changeset | files |
| Sun, 21 Apr 2024 16:31:30 +0100 | paulson | More proof tidying for Nominal | changeset | files |
| Sat, 20 Apr 2024 23:02:47 +0100 | paulson | Tidying up more messy proofs | changeset | files |
| Sat, 20 Apr 2024 12:08:01 +0100 | paulson | Starting to tidy HOL-Nominal-Examples | changeset | files |
| Thu, 18 Apr 2024 17:53:14 +0200 | Simon Wimmer | sketch & explore: recover from duplicate fixed variables in Isar proofs | changeset | files |
| Thu, 18 Apr 2024 13:06:48 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Thu, 18 Apr 2024 15:20:24 +0200 | wenzelm | merged | changeset | files |
| Thu, 18 Apr 2024 11:39:51 +0200 | wenzelm | Added tag Isabelle2024-RC2 for changeset ef2134570abb | changeset | files |
| Thu, 18 Apr 2024 13:07:34 +0100 | paulson | Acknowledgement of Ata Keskin for his Martingales material | changeset | files |
| Wed, 17 Apr 2024 23:22:32 +0200 | wenzelm | merged | changeset | files |
| Wed, 17 Apr 2024 23:12:21 +0200 | wenzelm | update to jdk-21.0.3; | changeset | files |
| Wed, 17 Apr 2024 22:07:21 +0100 | paulson | merged | changeset | files |
| Wed, 17 Apr 2024 22:07:07 +0100 | paulson | Tidied up horrible archaic proofs | changeset | files |
| Wed, 17 Apr 2024 21:20:31 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 17 Apr 2024 15:04:27 +0200 | Kevin Kappelmann | make adhoc_overloading respect type constraints | changeset | files |
| Tue, 16 Apr 2024 17:28:58 +0200 | wenzelm | merged | changeset | files |
| Tue, 16 Apr 2024 17:06:05 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 16:54:15 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 16 Apr 2024 16:38:54 +0200 | wenzelm | minor performance tuning: avoid redundant server access; | changeset | files |
| Tue, 16 Apr 2024 16:37:08 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 16:53:10 +0200 | wenzelm | clarified modules and options (from store); | changeset | files |
| Tue, 16 Apr 2024 16:27:40 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 16 Apr 2024 15:14:55 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 15:11:13 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 16 Apr 2024 14:48:08 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 16 Apr 2024 12:18:32 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 12:08:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 16 Apr 2024 11:39:02 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 11:20:30 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 11:00:46 +0200 | wenzelm | more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4); | changeset | files |
| Fri, 12 Apr 2024 17:07:33 +0200 | wenzelm | tuned messages; | changeset | files |
| Thu, 11 Apr 2024 12:12:33 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 11 Apr 2024 12:05:01 +0200 | wenzelm | back to static numa_nodes (reverting part of c2c59de57df9); | changeset | files |
| Thu, 11 Apr 2024 12:04:44 +0200 | wenzelm | tuned messages; | changeset | files |
| Tue, 16 Apr 2024 13:29:27 +0200 | Manuel Eberl | canonical time function for List.nth | changeset | files |
| Mon, 15 Apr 2024 22:24:31 +0100 | paulson | merged | changeset | files |
| Mon, 15 Apr 2024 22:23:40 +0100 | paulson | Streamlining of many more archaic proofs | changeset | files |
| Mon, 15 Apr 2024 20:35:56 +0200 | Fabian Huch | clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces); | changeset | files |
| Sun, 14 Apr 2024 22:38:17 +0100 | paulson | More tidying of old proofs | changeset | files |