Wed, 22 Jan 2014 17:02:05 +0100 |
wenzelm |
prefer rail cartouche -- avoid back-slashed quotes;
|
file |
diff |
annotate
|
Sun, 19 Jan 2014 20:52:57 +0100 |
wenzelm |
cartouche within nested args (attributes, methods, etc.);
|
file |
diff |
annotate
|
Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
Sun, 18 Aug 2013 13:25:31 +0200 |
wenzelm |
updated identifier syntax;
|
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
|
Sat, 26 Jan 2013 20:36:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 26 Jan 2013 16:30:47 +0100 |
wenzelm |
some updates concerning Proof General;
|
file |
diff |
annotate
|
Mon, 26 Nov 2012 13:54:43 +0100 |
wenzelm |
refined outer syntax 'help' command;
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|