| Thu, 07 Jan 2010 08:45:55 +0100 |
blanchet |
make Nitpick's tests not leave files in the temp directory
|
changeset |
files
|
| Wed, 06 Jan 2010 23:18:44 +0100 |
wenzelm |
more text edit operations;
|
changeset |
files
|
| Wed, 06 Jan 2010 23:18:12 +0100 |
wenzelm |
always report updates -- required has "handshake";
|
changeset |
files
|
| Wed, 06 Jan 2010 22:21:25 +0100 |
wenzelm |
tuned Isabelle/Scala build;
|
changeset |
files
|
| Wed, 06 Jan 2010 22:18:52 +0100 |
wenzelm |
simplified build/bootstrap of graph browser -- avoid make;
|
changeset |
files
|
| Wed, 06 Jan 2010 20:00:22 +0100 |
wenzelm |
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
|
changeset |
files
|
| Wed, 06 Jan 2010 18:22:43 +0100 |
wenzelm |
more robust cancelation, notably of passive futures without scheduler running;
|
changeset |
files
|
| Wed, 06 Jan 2010 18:14:16 +0100 |
wenzelm |
eliminated cache, which complicates the code without making a real difference (NB: deque_towards often disrupts caching, and daisy-chaining of workers already reduces queue overhead);
|
changeset |
files
|
| Wed, 06 Jan 2010 15:07:56 +0100 |
wenzelm |
tasks of canceled groups are considered "ready" -- enables to purge the queue from tasks depending on unfinished promises (also improves general reactivity);
|
changeset |
files
|
| Wed, 06 Jan 2010 13:14:28 +0100 |
wenzelm |
do not memoize interrupts;
|
changeset |
files
|
| Tue, 05 Jan 2010 23:38:10 +0100 |
wenzelm |
added Future.promise/fulfill -- promised futures that are fulfilled by external means;
|
changeset |
files
|
| Tue, 05 Jan 2010 18:20:18 +0100 |
wenzelm |
Basic edits on plain text.
|
changeset |
files
|
| Tue, 05 Jan 2010 16:55:00 +0100 |
wenzelm |
recovered legacy settings for Proof General 3.x;
|
changeset |
files
|
| Tue, 05 Jan 2010 16:51:01 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 05 Jan 2010 15:35:01 +0100 |
haftmann |
merged
|
changeset |
files
|