| Wed, 10 Aug 2022 21:40:10 +0200 | nipkow | New theory of fixed length lists | changeset | files |
| Wed, 10 Aug 2022 18:26:22 +0000 | haftmann | Further streamlining of quick-and-dirty evaluation. | changeset | files |
| Mon, 25 Jul 2022 08:24:21 +0100 | Achim D. Brucker | more correct approximation (contributed by Achim Brucker) | changeset | files |
| Mon, 08 Aug 2022 20:27:54 +0200 | wenzelm | Added tag Isabelle2022-RC0 for changeset b42e20adaeed | changeset | files |
| Mon, 08 Aug 2022 20:01:18 +0200 | wenzelm | proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala); | changeset | files |
| Mon, 08 Aug 2022 14:34:09 +0200 | wenzelm | clarified message; | changeset | files |