| Fri, 28 Jun 2024 23:53:25 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Sat, 01 Jun 2024 12:31:06 +0200 | wenzelm | clarified signature: prefer symbolic isabelle.Path over physical java.io.File; | file | diff | annotate |
| Tue, 23 Jan 2024 23:15:51 +0100 | wenzelm | clarified Mercurial version: presumably the last version that supports both python2 and python3; | file | diff | annotate |