| Fri, 02 Sep 2011 17:58:32 +0200 | wenzelm | proper config option linarith_trace; | changeset | files |
| Fri, 02 Sep 2011 17:57:37 +0200 | wenzelm | discontinued slightly odd "Defining record ..." message and corresponding quiet_mode; | changeset | files |
| Fri, 02 Sep 2011 16:20:09 +0200 | wenzelm | merged | changeset | files |