| Fri, 16 Dec 2022 17:51:52 +0100 | wenzelm | clarified names; | file | diff | annotate |
| Thu, 25 Aug 2022 19:54:46 +0200 | wenzelm | read full sessions_requirements, for more complete entity hyperlinks; | file | diff | annotate |
| Thu, 25 Aug 2022 19:36:33 +0200 | wenzelm | more accurate management of dependencies: change of build_uuid causes output of HTML, but already existing/current HTML is not produced again; | file | diff | annotate |
| 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 |