| Sun, 28 Apr 2019 16:50:19 +0100 | paulson | removal of ASCII connectives; some de-applying | changeset | files |
| Sun, 28 Apr 2019 22:22:29 +0200 | wenzelm | tuned -- according to main website; | changeset | files |
| Sun, 28 Apr 2019 22:20:39 +0200 | wenzelm | more ambitious compression; | changeset | files |
| Sun, 28 Apr 2019 13:09:15 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 28 Apr 2019 13:03:16 +0200 | wenzelm | completion for \<^const>, although it often requires an extra argument; | changeset | files |
| 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 |