| Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
| Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:21:49 +0100 |
nipkow |
Manual updates towards conversion of "op" syntax
|
file |
diff |
annotate
|
| Sat, 11 Nov 2017 14:55:30 +0100 |
wenzelm |
adapted to changed ROOT syntax (see 13857f49d215);
|
file |
diff |
annotate
|
| Fri, 06 Nov 2015 21:49:02 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Wed, 06 May 2015 23:28:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 14 Nov 2014 17:07:06 +0100 |
wenzelm |
use \isastyletext directly via 'text' command;
|
file |
diff |
annotate
|
| 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
|