| Mon, 30 Jul 2007 19:22:27 +0200 | wenzelm | dequeue: wait loop while PROTECTED -- avoids race condition; | changeset | files |
| Mon, 30 Jul 2007 11:12:28 +0200 | wenzelm | marked some CRITICAL sections; | changeset | files |
| Mon, 30 Jul 2007 10:39:12 +0200 | urbanc | updated some of the definitions and proofs | changeset | files |