src/Pure/Thy/document_antiquotation.ML
Fri, 19 Jan 2018 19:09:25 +0100 wenzelm more uniform output of source / text / theory_text, with handling of formal comments etc.;
Fri, 19 Jan 2018 15:14:43 +0100 wenzelm recovered antiquotation check without latex mode (cf. dfc93f2b01ea);
Fri, 19 Jan 2018 11:25:55 +0100 wenzelm tuned;
Thu, 18 Jan 2018 21:41:30 +0100 wenzelm clarified access to antiquotation options;
Wed, 17 Jan 2018 14:40:18 +0100 wenzelm discontinued unused wrapper: print_mode is provided directly;
Tue, 09 Jan 2018 15:40:12 +0100 wenzelm clarified modules;
less more (0) tip