| Sun, 02 Nov 2014 16:05:43 +0100 |
wenzelm |
prefer explicit heading command;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 15:27:37 +0100 |
wenzelm |
uniform heading commands work in any context, even in theory header;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 11:18:17 +0100 |
wenzelm |
discontinued Proof General;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 22:35:11 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Mon, 06 Jan 2014 17:47:44 +0100 |
wenzelm |
more formal ISABELLE_BROWSER_INFO;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
| Thu, 08 Aug 2013 17:24:31 +0200 |
wenzelm |
prefer plain subscript for identifiers;
|
file |
diff |
annotate
|
| Sat, 26 Jan 2013 16:10:50 +0100 |
wenzelm |
updated explanations of document preparation;
|
file |
diff |
annotate
|
| Sun, 04 Nov 2012 20:12:01 +0100 |
wenzelm |
updated citations;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|