Tue, 16 Dec 2008 20:32:41 +0000 | Christian Urban | changed the names of insert_eqvt and set_eqvt so that it is clear that they have preconditions | changeset | files |
Tue, 16 Dec 2008 19:24:55 +0100 | wenzelm | proper document antiquotations; | changeset | files |
Tue, 16 Dec 2008 18:04:31 +0100 | wenzelm | merged | changeset | files |
Tue, 16 Dec 2008 08:46:07 +0100 | krauss | method "sizechange" proves termination of functions; added more infrastructure for termination proofs | changeset | files |
Tue, 16 Dec 2008 18:04:16 +0100 | wenzelm | future proofs: Future.fork_pri 1 minimizes queue length and pending promises | changeset | files |
Tue, 16 Dec 2008 16:25:20 +0100 | wenzelm | renamed structure TaskQueue to Task_Queue; | changeset | files |