| Sat, 25 May 2024 20:26:06 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 25 May 2024 20:10:17 +0200 | wenzelm | tuned spelling; | file | diff | annotate |
| Sat, 25 May 2024 20:08:01 +0200 | wenzelm | support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs"); | file | diff | annotate |
| Sat, 25 May 2024 17:22:05 +0200 | wenzelm | more general dirs for Sync.sync; | file | diff | annotate |
| Thu, 21 Mar 2024 16:35:55 +0100 | Fabian Huch | option for benchmark session; | file | diff | annotate |
| Thu, 22 Feb 2024 17:24:43 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 21 Feb 2024 11:43:30 +0100 | wenzelm | propagate property "isabelle.debug", notably for Java/Scala exception trace; | file | diff | annotate |