| Mon, 14 Apr 2014 13:26:12 +0200 | noschinl | Removed old experiment (broken since b458b4ac570f resp 4159caa18f85) | changeset | files |
| Mon, 14 Apr 2014 13:08:17 +0200 | hoelzl | added divide_nonneg_nonneg and co; made it a simp rule | changeset | files |
| Mon, 14 Apr 2014 10:55:56 +0200 | wenzelm | support for persistent user dictionaries; | changeset | files |
| Mon, 14 Apr 2014 09:28:42 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 14 Apr 2014 09:24:47 +0200 | wenzelm | eliminated somewhat pointless locale parameter; | changeset | files |
| Sun, 13 Apr 2014 22:08:00 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 13 Apr 2014 21:59:37 +0200 | wenzelm | clarified complete: participate in case-mangling of check; | changeset | files |