| Fri, 03 Feb 2023 14:29:07 +0100 | wenzelm | proper symbolic handle on component resources: | changeset | files |
| Fri, 03 Feb 2023 14:10:09 +0100 | wenzelm | more robust on Windows, where C:\\ and \\SERVER\SHARE cause problems (line 920 of winbasicio.cpp); | changeset | files |
| Thu, 02 Feb 2023 12:55:07 +0000 | paulson | More of Manuel's material, and some changes | changeset | files |
| Wed, 01 Feb 2023 23:02:59 +0100 | wenzelm | less verbosity by default, notably for regular "isabelle build -o document"; | changeset | files |