| Mon, 24 Jun 2013 23:39:17 +0200 |
wenzelm |
obsolete -- cf. isabelle.Keywords in Scala;
|
file |
diff |
annotate
|
| Wed, 22 May 2013 14:10:45 +0200 |
wenzelm |
explicit management of Session.Protocol_Handlers, with protocol state and functions;
|
file |
diff |
annotate
|
| Mon, 20 May 2013 15:42:14 +0200 |
wenzelm |
even later Options.reset_default -- still needed for printing errors of Session.finish (e.g. via Command_Line.tool0);
|
file |
diff |
annotate
|
| Mon, 20 May 2013 13:38:48 +0200 |
wenzelm |
reset options last -- other parts of the system may still need them;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 18:19:42 +0200 |
wenzelm |
discontinued obsolete isabelle usedir, mkdir, make;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 17:11:06 +0200 |
wenzelm |
event timer as separate service thread;
|
file |
diff |
annotate
|
| Sun, 12 May 2013 19:56:30 +0200 |
wenzelm |
load options for regular isabelle-process, not just for Isar loop (relevant for numerous low-level tools) -- NB: Isabelle_Process manages options via protocol message;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2013 21:25:08 +0100 |
wenzelm |
clarified parallel_subproofs_saturation (blind guess) vs. parallel_subproofs_threshold (precient timing estimate);
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 16:47:24 +0100 |
wenzelm |
discontinued "isabelle usedir" option -r (reset session path);
|
file |
diff |
annotate
|
| Mon, 11 Mar 2013 14:25:14 +0100 |
wenzelm |
discontinued "isabelle usedir" option -P (remote path);
|
file |
diff |
annotate
|
| Mon, 25 Feb 2013 17:47:32 +0100 |
wenzelm |
more explicit Goal.shutdown_futures;
|
file |
diff |
annotate
|
| Thu, 24 Jan 2013 17:18:13 +0100 |
wenzelm |
more efficient inlined properties, especially relevant for voluminous tasks trace;
|
file |
diff |
annotate
|
| Wed, 09 Jan 2013 13:38:57 +0100 |
wenzelm |
standardized treatment of timing properties;
|
file |
diff |
annotate
|
| Tue, 08 Jan 2013 21:16:51 +0100 |
wenzelm |
include timing properties in log;
build_history_base
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 20:42:18 +0100 |
wenzelm |
maintain session index on Scala side, for more determistic results;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2012 23:14:39 +0100 |
wenzelm |
make double-sure that the future scheduler is properly shutdown, otherwise its threads are made persistent and will deadlock with the fresh instance after reloading the image (NB: Present.finish involves another Par_List.map over document_variants and thus might fork again);
|
file |
diff |
annotate
|
| Sun, 18 Nov 2012 19:01:30 +0100 |
wenzelm |
isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release);
|
file |
diff |
annotate
|
| Thu, 18 Oct 2012 19:58:30 +0200 |
wenzelm |
more basic Goal.reset_futures as snapshot of implicit state;
|
file |
diff |
annotate
|
| Thu, 18 Oct 2012 13:57:27 +0200 |
wenzelm |
collective errors from use_thys and Session.finish/Goal.finish_futures -- avoid uninformative interrupts stemming from failure of goal forks that are not registered in the theory (e.g. unnamed theorems);
|
file |
diff |
annotate
|
| Wed, 17 Oct 2012 22:11:12 +0200 |
wenzelm |
another Future.shutdown after Future.cancel_groups (cf. 0d4106850eb2);
|
file |
diff |
annotate
|
| Wed, 17 Oct 2012 21:04:51 +0200 |
wenzelm |
more robust Session.finish (batch mode): use Goal.finish_futures to exhibit remaining failures of disconnected goal forks (e.g. from unnamed theorems) and Goal.cancel_futures the purge the persistent state;
|
file |
diff |
annotate
|
| Mon, 10 Sep 2012 12:00:28 +0200 |
wenzelm |
more explicit indication of legacy features;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 22:16:06 +0200 |
wenzelm |
discontinued centralistic changelog;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 15:42:58 +0200 |
wenzelm |
explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 13:40:49 +0200 |
wenzelm |
more direct interpretation of document_variants for build (unchanged for usedir);
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 16:34:15 +0200 |
wenzelm |
prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
|
file |
diff |
annotate
|
| Mon, 06 Aug 2012 21:11:42 +0200 |
wenzelm |
pass Isabelle/Scala system options into ML process of Isar tty or build jobs;
|
file |
diff |
annotate
|
| Thu, 02 Aug 2012 12:36:54 +0200 |
wenzelm |
more official command specifications, including source position;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 13:01:19 +0200 |
wenzelm |
prefer explicit datatype Present.dump_mode;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 12:43:58 +0200 |
wenzelm |
simplified Session.name;
|
file |
diff |
annotate
|