| 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 |
| Tue, 11 Aug 2009 10:58:36 +0200 | haftmann | updated generated document | changeset | files |
| Tue, 11 Aug 2009 10:46:11 +0200 | haftmann | dropped temporary adjustments to non-working eta expansion in recfun_codegen.ML | changeset | files |
| Tue, 11 Aug 2009 10:43:43 +0200 | haftmann | proper eta expansion in recfun_codegen.ML; no eta expansion at all in code_thingol.ML | changeset | files |