src/Cube/ROOT
2022-08-26 wenzelm clarified chapters: de-emphasize minor examples;
2018-11-20 wenzelm tuned -- refining auto-update 15e9ed5b28fb;
2018-11-08 wenzelm isabelle update_cartouches -t;
2017-10-30 wenzelm ROOT cleanup: empty 'document_files' means there is no document;
2013-03-12 wenzelm refurbished some old README.html files as session descriptions, which show up in chapter index;
2013-03-11 wenzelm support for 'chapter' specifications within session ROOT;
2012-08-08 wenzelm simplified session specifications: names are taken verbatim and current directory is default;
2012-07-24 wenzelm more explicit document = false to reduce warnings;
2012-07-24 wenzelm more session ROOT files;
less more (0) tip