| Fri, 18 Oct 2024 16:37:39 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |
| Fri, 20 Sep 2024 19:51:08 +0200 | wenzelm | standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing; | file | diff | annotate |
| Wed, 08 Jun 2022 09:12:51 +0200 | nipkow | removed non-standard spaces in output | file | diff | annotate |
| Fri, 04 Feb 2022 10:48:49 +0100 | nipkow | tuned output syntax: Hoare triples are now blocks | file | diff | annotate |
| Thu, 03 Feb 2022 10:33:55 +0100 | nipkow | tuned output syntax: INV and VAR are now blocks | file | diff | annotate |
| Tue, 12 Oct 2021 20:57:43 +0200 | nipkow | separated commands from annotations to be able to abstract about the latter only | file | diff | annotate |
| Wed, 23 Dec 2020 22:25:22 +0100 | wenzelm | tuned document, notably authors and sections; | file | diff | annotate |
| Wed, 23 Dec 2020 21:06:31 +0100 | wenzelm | clarified modules: avoid multiple uses of the same ML file; | file | diff | annotate |