| #
6ef14cb4 |
|
20-Nov-2018 |
wenzelm <none@none> |
tuned -- refining auto-update 15e9ed5b28fb;
|
| #
25a29bd5 |
|
08-Nov-2018 |
wenzelm <none@none> |
isabelle update_cartouches -t;
|
| #
443eb83f |
|
30-Oct-2017 |
wenzelm <none@none> |
ROOT cleanup: empty 'document_files' means there is no document;
|
| #
6360c65a |
|
12-Mar-2013 |
wenzelm <none@none> |
refurbished some old README.html files as session descriptions, which show up in chapter index;
|
| #
34905e00 |
|
11-Mar-2013 |
wenzelm <none@none> |
support for 'chapter' specifications within session ROOT;
|
| #
b54a9eb3 |
|
08-Aug-2012 |
wenzelm <none@none> |
simplified session specifications: names are taken verbatim and current directory is default;
|
| #
b9549b66 |
|
24-Jul-2012 |
wenzelm <none@none> |
more explicit document = false to reduce warnings;
tuned;
|
| #
af0411f2 |
|
24-Jul-2012 |
wenzelm <none@none> |
more session ROOT files;
|