| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 29 Sep 2018 21:05:32 +0200 |
nipkow |
adapted to Library/LaTeXsugar
|
file |
diff |
annotate
|
| 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
|