| Wed, 18 Nov 2020 15:47:53 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 18 Nov 2020 15:41:02 +0100 | wenzelm | more robust: ensure coherence wrt. build database; | changeset | files |
| Wed, 18 Nov 2020 15:36:41 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Wed, 18 Nov 2020 13:16:08 +0100 | wenzelm | more explicit presentation directory; | changeset | files |
| Wed, 18 Nov 2020 13:14:01 +0100 | wenzelm | more robust, e.g. for "isabelle build_doc system"; | changeset | files |
| Wed, 18 Nov 2020 08:10:40 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 18 Nov 2020 18:45:50 +0000 | paulson | merged | changeset | files |
| Wed, 18 Nov 2020 16:35:20 +0000 | paulson | merged | changeset | files |
| Wed, 18 Nov 2020 16:35:14 +0000 | paulson | de-applying | changeset | files |
| Wed, 18 Nov 2020 19:38:19 +0100 | nipkow | new theory | changeset | files |
| Wed, 18 Nov 2020 13:44:34 +0100 | desharna | Tuned parentheses in TPTP output | changeset | files |
| Tue, 17 Nov 2020 23:26:41 +0100 | wenzelm | simplified/clarified persistent session information; | changeset | files |
| Tue, 17 Nov 2020 22:58:55 +0100 | wenzelm | merged | changeset | files |
| Tue, 17 Nov 2020 22:57:56 +0100 | wenzelm | refer to command_timings/last_timing via resources; | changeset | files |
| Tue, 17 Nov 2020 22:05:59 +0100 | wenzelm | more uniform Resources.init_session via YXML; | changeset | files |