| Wed, 07 May 2025 22:06:49 +0200 | wenzelm | clarified settings: these are setup defaults, not necessarily the installed version; | file | diff | annotate |
| Tue, 06 May 2025 16:52:39 +0200 | wenzelm | clarified signature; | 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, 27 Mar 2024 17:51:37 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Wed, 27 Mar 2024 17:11:46 +0100 | wenzelm | support for "all" platforms; | file | diff | annotate |
| Wed, 27 Mar 2024 17:04:37 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 27 Mar 2024 13:23:15 +0100 | wenzelm | more Setup_Tool services; | file | diff | annotate |