| 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 |
| Sat, 29 Dec 2018 17:38:29 +0100 | nipkow | merged | changeset | files |
| Sat, 29 Dec 2018 16:58:53 +0100 | nipkow | more capitalization | changeset | files |
| Sat, 29 Dec 2018 15:43:53 +0100 | nipkow | capitalize proper names in lemma names | changeset | files |
| Sat, 29 Dec 2018 09:28:30 +0000 | haftmann | explicit dependencies for includes | changeset | files |