| Wed, 22 Feb 2017 20:24:50 +0100 | haftmann | basic documentation for computations | file | diff | annotate |
| Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 11 Aug 2016 18:26:44 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Thu, 23 Jul 2015 13:28:34 +0200 | wenzelm | proper latex; | file | diff | annotate |