| 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 |