| Fri, 26 Aug 2022 23:17:07 +0200 | wenzelm | merged | changeset | files |
| Fri, 26 Aug 2022 23:12:42 +0200 | wenzelm | clarified chapters: de-emphasize minor examples; | changeset | files |
| Fri, 26 Aug 2022 21:55:03 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 26 Aug 2022 21:49:13 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 26 Aug 2022 21:48:51 +0200 | wenzelm | produce root index based on sessions_structure.chapter_defs; | changeset | files |
| Fri, 26 Aug 2022 21:35:48 +0200 | wenzelm | provide chapter descriptions, based on lib/html/library_index_content.template; | changeset | files |
| Fri, 26 Aug 2022 21:34:09 +0200 | wenzelm | more robust: proper system_name; | changeset | files |