Wed, 22 Jan 2014 23:19:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 22 Jan 2014 17:14:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 22 Jan 2014 17:02:05 +0100 |
wenzelm |
prefer rail cartouche -- avoid back-slashed quotes;
|
file |
diff |
annotate
|
Fri, 17 Jan 2014 20:20:20 +0100 |
wenzelm |
clarified @{rail} syntax: prefer explicit \<newline> symbol;
|
file |
diff |
annotate
|
Mon, 09 Dec 2013 20:16:12 +0100 |
wenzelm |
provide @{file_unchecked} in Isabelle/Pure;
|
file |
diff |
annotate
|
Mon, 09 Dec 2013 12:16:52 +0100 |
wenzelm |
added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
|
file |
diff |
annotate
|
Tue, 29 Oct 2013 15:34:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 29 Sep 2013 12:49:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 07 Jul 2013 18:34:29 +0200 |
wenzelm |
discontinued command 'print_drafts';
|
file |
diff |
annotate
|
Mon, 13 May 2013 13:23:13 +0200 |
wenzelm |
option "goals_limit", with more uniform description;
|
file |
diff |
annotate
|
Sat, 26 Jan 2013 16:10:50 +0100 |
wenzelm |
updated explanations of document preparation;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|