| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | eliminated warnings | file | diff | annotate |
| Fri, 14 Jun 2019 12:29:50 +0200 | haftmann | make latex happy | file | diff | annotate |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | clear separation of types for bits (False / True) and Z2 (0 / 1) | file | diff | annotate | base |