| Mon, 17 May 2021 23:38:16 +0200 | wenzelm | proper options; | changeset | files |
| Mon, 17 May 2021 23:30:25 +0200 | wenzelm | option document_build refers to build engine in Isabelle/Scala; | changeset | files |
| Mon, 17 May 2021 20:37:42 +0200 | wenzelm | redundant: tmp_dir is purged anyway; | changeset | files |
| Mon, 17 May 2021 20:32:52 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Mon, 17 May 2021 16:15:25 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 17 May 2021 15:01:37 +0200 | wenzelm | tuned --- clarified corner cases; | changeset | files |