| 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 |