isabelle: File revisions

src/FOLP/ROOT

Fri, 26 Aug 2022 23:12:42 +0200	wenzelm	clarified chapters: de-emphasize minor examples;	file \| diff \| annotate
Tue, 20 Nov 2018 13:46:13 +0100	wenzelm	tuned -- refining auto-update 15e9ed5b28fb;	file \| diff \| annotate
Thu, 08 Nov 2018 22:29:09 +0100	wenzelm	isabelle update_cartouches -t;	file \| diff \| annotate
Mon, 30 Oct 2017 20:04:10 +0100	wenzelm	ROOT cleanup: empty 'document_files' means there is no document;	file \| diff \| annotate
Thu, 20 Apr 2017 17:50:31 +0200	wenzelm	more global theories;	file \| diff \| annotate
Mon, 11 Mar 2013 13:28:46 +0100	wenzelm	support for 'chapter' specifications within session ROOT;	file \| diff \| annotate
Wed, 08 Aug 2012 17:49:56 +0200	wenzelm	simplified session specifications: names are taken verbatim and current directory is default;	file \| diff \| annotate
Tue, 24 Jul 2012 20:42:34 +0200	wenzelm	more explicit document = false to reduce warnings;	file \| diff \| annotate
Tue, 24 Jul 2012 14:07:44 +0200	wenzelm	more session ROOT files;	file \| diff \| annotate

isabelle