| Sun, 08 Oct 2023 21:15:13 +0200 | wenzelm | update documentation on Isabelle/ML exceptions; | changeset | files |
| Sun, 08 Oct 2023 19:17:41 +0200 | wenzelm | misc tuning; | changeset | files |
| Sun, 08 Oct 2023 19:05:35 +0200 | wenzelm | discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error); | changeset | files |
| Sun, 08 Oct 2023 15:12:59 +0200 | wenzelm | proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b); | changeset | files |
| Sun, 08 Oct 2023 15:02:01 +0200 | wenzelm | proper Scala version, e.g. for IntelliJ IDEA; | changeset | files |
| Mon, 02 Oct 2023 11:28:23 +0200 | desharna | NEWS | changeset | files |
| Mon, 02 Oct 2023 11:22:53 +0200 | desharna | used standard Time.compare in Sledgehammer's preplay | changeset | files |