| Wed, 08 Oct 2008 19:20:29 +0200 | wenzelm | setmp_noncritical makes it work with future scheduler; | changeset | files |
| Wed, 08 Oct 2008 18:09:36 +0200 | paulson | The result of the equality inference rule no longer undergoes factoring. | changeset | files |
| Wed, 08 Oct 2008 00:25:38 +0200 | kleing | make the test for experimental sessions in isatest-check actually work | changeset | files |
| Wed, 08 Oct 2008 00:03:42 +0200 | kleing | leave a log message when no snapshot is generated | changeset | files |
| Tue, 07 Oct 2008 16:07:59 +0200 | haftmann | clarified preprocessor policies | changeset | files |
| Tue, 07 Oct 2008 16:07:50 +0200 | haftmann | arbitrary is undefined | changeset | files |