Sun, 10 Aug 2014 19:44:20 +0200 | wenzelm | support aliases within the facts space; | changeset | files |
Sun, 10 Aug 2014 16:13:12 +0200 | wenzelm | support for named collections of theorems in canonical order; | changeset | files |
Sun, 10 Aug 2014 15:59:12 +0200 | wenzelm | insist in proper 'document_files'; | changeset | files |