| Sat, 14 Jun 2025 14:31:54 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Jun 2024 21:52:31 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Jun 2024 21:49:50 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 01 Jun 2024 15:11:46 +0200 | wenzelm | support bash via SSH; | file | diff | annotate |
| Sat, 01 Jun 2024 12:35:38 +0200 | wenzelm | unused; | 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 |
| Wed, 13 Mar 2024 23:26:30 +0100 | wenzelm | revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers; | file | diff | annotate |