| Thu, 13 Aug 2009 17:19:10 +0100 | paulson | Demonstrations of sledgehammer in protocol proofs. | changeset | files |
| Wed, 12 Aug 2009 00:26:01 +0200 | wenzelm | added PARALLEL_CHOICE, PARALLEL_GOALS; | changeset | files |
| Tue, 11 Aug 2009 20:40:02 +0200 | wenzelm | merged | changeset | files |
| Mon, 10 Aug 2009 13:53:42 +0200 | Philipp Meyer | SOS: function to set default prover; output channel changed | changeset | files |
| Mon, 10 Aug 2009 13:02:05 +0200 | Philipp Meyer | interrupt handler for neos csdp client | changeset | files |
| Tue, 11 Aug 2009 15:53:13 +0200 | wenzelm | clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository; | changeset | files |