| Sun, 10 Apr 2016 21:46:12 +0200 |
wenzelm |
more standard session build process, including browser_info;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 20:18:15 +0200 |
wenzelm |
avoid interference with running PIDE protocol;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 14:40:00 +0200 |
wenzelm |
prefer Synchronized.var;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 16:12:47 +0100 |
wenzelm |
save heap more directly;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 15:23:13 +0100 |
wenzelm |
clarified ML heap operations;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 16:21:34 +0200 |
wenzelm |
more explicit HTML.symbols;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 17:34:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 26 Jan 2015 13:48:29 +0100 |
wenzelm |
prefer plain session_graph.pdf over GraphBrowser applet;
|
file |
diff |
annotate
|
| Sun, 25 Jan 2015 22:11:06 +0100 |
wenzelm |
discontinued obsolete option "document_graph";
|
file |
diff |
annotate
|
| Sun, 25 Jan 2015 21:46:21 +0100 |
wenzelm |
provide session_graph.pdf via Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 15 Jan 2015 12:54:08 +0100 |
wenzelm |
more informative build_theories_result: cumulative Runtime.exn_message;
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 21:39:49 +0100 |
wenzelm |
tuned -- less redundant;
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 21:22:25 +0100 |
wenzelm |
proper Session.save with shutdown, which is relevant to avoid persistent threads;
|
file |
diff |
annotate
|
| Wed, 03 Dec 2014 22:34:28 +0100 |
wenzelm |
node-specific keywords, with session base syntax as default;
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 16:36:55 +0100 |
wenzelm |
plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 15:54:56 +0200 |
wenzelm |
further distinction of Isabelle distribution: alert for identified release candidates;
|
file |
diff |
annotate
|
| Fri, 11 Apr 2014 11:52:28 +0200 |
wenzelm |
explicit 'document_files' in session ROOT specifications;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2014 18:13:44 +0200 |
wenzelm |
removed obsolete doc_dump option (see also 892061142ba6);
|
file |
diff |
annotate
|
| Mon, 31 Mar 2014 10:28:08 +0200 |
wenzelm |
support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 18:09:31 +0100 |
wenzelm |
clarified module arrangement;
|
file |
diff |
annotate
| base
|