| Mon, 02 Jan 2023 15:05:15 +0100 |
wenzelm |
clarified signature: more explicit types (see also 90c552d28d36);
|
changeset |
files
|
| Mon, 02 Jan 2023 13:54:40 +0100 |
wenzelm |
do write_session_sources early, to have information available in build job;
|
changeset |
files
|
| Mon, 02 Jan 2023 13:09:38 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:56:31 +0100 |
wenzelm |
do not bundle Isabelle/Naproche, while it keeps changing;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:45:24 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:34:20 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:29:08 +0100 |
wenzelm |
clarified signature: uniform master_dir instead of separate field;
|
changeset |
files
|
| Mon, 02 Jan 2023 11:57:57 +0100 |
wenzelm |
more standard master_dir;
|
changeset |
files
|
| Sun, 01 Jan 2023 22:54:40 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
changeset |
files
|
| Sun, 01 Jan 2023 22:01:53 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 01 Jan 2023 22:01:45 +0100 |
wenzelm |
more robust, for the sake of very rare duplicate files: src/Doc/Prog_Prove/MyList.thy and $AFP/Case_Labeling/util.ML;
|
changeset |
files
|
| Sun, 01 Jan 2023 21:44:08 +0100 |
wenzelm |
store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
|
changeset |
files
|