| Sat, 29 Dec 2018 18:40:29 +0000 | immler | merged | changeset | files |
| Sat, 29 Dec 2018 18:21:13 +0000 | immler | merged | changeset | files |
| Sat, 29 Dec 2018 17:46:48 +0100 | immler | tuned analysis manual | changeset | files |
| Sat, 29 Dec 2018 19:26:48 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 29 Dec 2018 18:45:57 +0100 | wenzelm | merged | changeset | files |
| Sat, 29 Dec 2018 17:37:02 +0100 | wenzelm | clarified signature, notably cascade of dump_options, deps, resources, session; | changeset | files |
| Sat, 29 Dec 2018 16:13:05 +0100 | wenzelm | unused; | changeset | files |
| Sat, 29 Dec 2018 16:11:24 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 29 Dec 2018 14:58:51 +0100 | wenzelm | clarified errors, according to Isabelle/MMT; | changeset | files |
| Sat, 29 Dec 2018 13:49:09 +0100 | wenzelm | tuned, according to Isabelle/MMT; | changeset | files |
| Sat, 29 Dec 2018 13:15:13 +0100 | wenzelm | clarified options: ensure consolidated Node_Status and thus percentage = 100% for progress; | changeset | files |
| Sat, 29 Dec 2018 12:52:58 +0100 | wenzelm | tuned; | changeset | files |