| Thu, 11 Nov 2021 21:54:28 +0100 | wenzelm | clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources; | file | diff | annotate |
| Sat, 06 Nov 2021 10:11:25 +0100 | wenzelm | proper treatment of session build hierarchy; | file | diff | annotate |
| Tue, 08 Jun 2021 23:34:06 +0200 | wenzelm | prefer less intrusive tracing message; | file | diff | annotate |
| Tue, 08 Jun 2021 13:17:45 +0200 | wenzelm | more formal ML profiling messages; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Sat, 04 Apr 2020 19:30:45 +0200 | wenzelm | tuned -- Command_Line.tool is already part of Isabelle_Tool; | file | diff | annotate |
| Mon, 30 Mar 2020 19:50:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 22 Oct 2016 12:34:58 +0200 | wenzelm | regular user tool; | file | diff | annotate | base |