| Sat, 24 Feb 2024 22:56:56 +0100 | wenzelm | clarified versions for documentation; | file | diff | annotate |
| Sat, 25 Nov 2023 16:49:48 +0100 | wenzelm | removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf); | file | diff | annotate |
| Sat, 25 Nov 2023 16:13:08 +0100 | wenzelm | provide src/Tools/Demo as example for system component with Isabelle/Scala tool; | file | diff | annotate |
| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Fri, 23 Dec 2022 22:33:14 +0100 | wenzelm | update URL; | file | diff | annotate |
| Fri, 22 Jul 2022 16:14:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 27 Feb 2022 20:00:23 +0100 | wenzelm | misc tuning based on comments by Heiko Eißfeldt; | file | diff | annotate |