Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
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
|