| Sun, 28 Apr 2019 12:34:56 +0200 | wenzelm | proper treatment of root as directory; | changeset | files |
| Sat, 27 Apr 2019 21:56:59 +0100 | paulson | tiny bit of extra restructuring | changeset | files |
| Sat, 27 Apr 2019 20:00:38 +0100 | paulson | some variable renaming | changeset | files |
| Sat, 27 Apr 2019 18:54:32 +0100 | paulson | tweaks esp renaming Rep_preal | changeset | files |
| Sat, 27 Apr 2019 18:45:00 +0100 | paulson | Massive restructuring; deleting unused theorems | changeset | files |
| Fri, 26 Apr 2019 19:00:44 +0100 | paulson | merged | changeset | files |
| Fri, 26 Apr 2019 19:00:02 +0100 | paulson | partial updating to eliminate ASCII style and some applys | changeset | files |