| 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 |