Sat, 27 Aug 2022 15:29:02 +0200 | wenzelm | tuned whitespace for presentation; | changeset | files |
Sat, 27 Aug 2022 15:23:58 +0200 | wenzelm | clarified signature of Sessions.Session: chapter_defs: vs. known_chapters (in declaration order) vs. chapters (covered by visible sessions); | changeset | files |
Sat, 27 Aug 2022 12:18:49 +0200 | wenzelm | clarified syntax: more uniform; | changeset | files |