| Sun, 21 Aug 2022 11:59:25 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 19 Aug 2022 20:35:30 +0200 | wenzelm | more robust: theories could have been suppressed via option "condition"; | file | diff | annotate |
| Fri, 19 Aug 2022 20:07:41 +0200 | wenzelm | clarified modules; | file | diff | annotate |