Sat, 19 May 2018 20:42:34 +0200 | wenzelm | override default of Isabelle_Process, notably for PIDE export of "document.tex"; | file | diff | annotate |
Sat, 03 Feb 2018 20:34:26 +0100 | wenzelm | more uniform treatment of formal comments within document source; | file | diff | annotate |
Fri, 19 Jan 2018 19:09:25 +0100 | wenzelm | more uniform output of source / text / theory_text, with handling of formal comments etc.; | file | diff | annotate |
Fri, 19 Jan 2018 15:14:43 +0100 | wenzelm | recovered antiquotation check without latex mode (cf. dfc93f2b01ea); | file | diff | annotate |
Fri, 19 Jan 2018 11:25:55 +0100 | wenzelm | tuned; | file | diff | annotate |
Thu, 18 Jan 2018 21:41:30 +0100 | wenzelm | clarified access to antiquotation options; | file | diff | annotate |
Wed, 17 Jan 2018 14:40:18 +0100 | wenzelm | discontinued unused wrapper: print_mode is provided directly; | file | diff | annotate |
Tue, 09 Jan 2018 15:40:12 +0100 | wenzelm | clarified modules; | file | diff | annotate |