| Mon, 18 Feb 2019 15:57:06 +0100 |
wenzelm |
more robust: avoid potentially unrelated snapshot for the sake of is_suppressed;
|
file |
diff |
annotate
|
| Sun, 17 Feb 2019 22:15:02 +0100 |
wenzelm |
clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
|
file |
diff |
annotate
|
| Thu, 13 Sep 2018 11:41:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 09 Sep 2018 11:53:53 +0200 |
wenzelm |
clarified theory progress;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 21:48:26 +0200 |
wenzelm |
more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
|
file |
diff |
annotate
|
| Tue, 04 Sep 2018 14:40:31 +0200 |
wenzelm |
clarified Nodes_Status;
|
file |
diff |
annotate
|
| Mon, 03 Sep 2018 20:04:51 +0200 |
wenzelm |
more detailed progress;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2018 23:25:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 22:09:09 +0200 |
wenzelm |
optional notification of nodes_status (via progress);
|
file |
diff |
annotate
|
| Sat, 09 Jun 2018 21:52:16 +0200 |
wenzelm |
clarified signature: more uniform theory_message (see also d7920eb7de54);
|
file |
diff |
annotate
|
| Wed, 30 May 2018 14:34:43 +0200 |
wenzelm |
report theory progress via PIDE node status;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 13:35:43 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 16:38:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 20:29:00 +0100 |
wenzelm |
avoid println with its extra CR on Windows;
|
file |
diff |
annotate
|
| Fri, 26 May 2017 11:09:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 25 May 2017 17:32:35 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 23 May 2017 11:47:35 +0200 |
wenzelm |
clarified build.out progress;
|
file |
diff |
annotate
|
| Sun, 21 May 2017 20:11:12 +0200 |
wenzelm |
more Progress variations;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 17:05:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 17:00:57 +0200 |
wenzelm |
clarified interface;
|
file |
diff |
annotate
|
| Mon, 16 Jan 2017 21:53:44 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 23:09:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 08 Oct 2016 22:36:22 +0200 |
wenzelm |
build_history log files with formal meta info;
|
file |
diff |
annotate
|
| Wed, 05 Oct 2016 11:43:00 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 13:54:04 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|