| Sun, 26 Apr 2009 00:42:59 +0200 | Christian Urban | merged | changeset | files |
| Sun, 26 Apr 2009 00:42:49 +0200 | Christian Urban | deleted thm-attributes "fresh" and "bij" (not used); same features can later be implemented by simpler means | changeset | files |
| Sat, 25 Apr 2009 23:42:30 +0200 | wenzelm | append prefs at end; | changeset | files |
| Sat, 25 Apr 2009 22:29:13 +0200 | wenzelm | merged | changeset | files |
| Sat, 25 Apr 2009 21:42:05 +0200 | Christian Urban | adapted permutation functions to new overloading syntax (the functions are still "unchecked" because they are used in conjunction with type-classes) | changeset | files |
| Sat, 25 Apr 2009 21:28:05 +0200 | wenzelm | use predefined preferences categories; | changeset | files |
| Sat, 25 Apr 2009 21:28:05 +0200 | wenzelm | removed obsolete artifacts; | changeset | files |
| Sat, 25 Apr 2009 21:28:04 +0200 | wenzelm | misc cleanup of auto_solve and quickcheck: | changeset | files |