Thu, 25 Jan 2018 14:13:55 +0100 | wenzelm | clarified signature: items with \isasep are special; | file | diff | annotate |
Thu, 18 Jan 2018 21:41:30 +0100 | wenzelm | clarified access to antiquotation options; | file | diff | annotate |
Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
Tue, 09 Jan 2018 15:40:12 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Thu, 22 Sep 2016 00:12:17 +0200 | wenzelm | raw control symbols are superseded by Latex.embed_raw; | file | diff | annotate |
Mon, 23 May 2016 21:30:30 +0200 | wenzelm | embedded content may be delimited via cartouches; | file | diff | annotate |
Tue, 08 Apr 2014 12:46:38 +0200 | haftmann | even more standardized doc session names after #b266e7a86485 | file | diff | annotate | base |