| Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 16:21:34 +0200 |
wenzelm |
more explicit HTML.symbols;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 19:25:13 +0200 |
wenzelm |
output HTML text according to Isabelle/Scala Symbol.Interpretation;
|
file |
diff |
annotate
|
| Sat, 15 Aug 2015 19:00:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 20:32:56 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 30 Jul 2015 14:02:19 +0200 |
wenzelm |
clarified management of (single) session;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2015 21:40:47 +0200 |
wenzelm |
skeleton for interactive debugger;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 14:01:28 +0200 |
wenzelm |
obsolete (see also 94b2690ad494);
|
file |
diff |
annotate
|
| Wed, 14 Jan 2015 17:24:55 +0100 |
wenzelm |
more type-safe handler interface;
|
file |
diff |
annotate
|
| Wed, 14 Jan 2015 16:27:19 +0100 |
wenzelm |
clarified build_theories: proper protocol handler;
|
file |
diff |
annotate
|
| Wed, 14 Jan 2015 14:28:52 +0100 |
wenzelm |
clarified build_theories;
|
file |
diff |
annotate
|
| Tue, 13 Jan 2015 21:46:09 +0100 |
wenzelm |
some support for PIDE batch session;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 03 Dec 2014 22:34:28 +0100 |
wenzelm |
node-specific keywords, with session base syntax as default;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|