| Fri, 14 May 2010 22:46:58 +0200 | nipkow | merged | changeset | files |
| Fri, 14 May 2010 22:46:41 +0200 | nipkow | added listsum lemmas | changeset | files |
| Fri, 14 May 2010 21:23:29 +0200 | ballarin | Revert mixin patch due to inacceptable performance drop. | changeset | files |
| Fri, 14 May 2010 15:27:07 +0200 | blanchet | add "no_atp"s to Nitpick lemmas | changeset | files |
| Fri, 14 May 2010 15:26:26 +0200 | blanchet | query _HOME environment variables at run-time, not at build-time | changeset | files |
| Fri, 14 May 2010 15:09:37 +0200 | blanchet | move Refute dependency from Plain to Main | changeset | files |
| Fri, 14 May 2010 15:07:53 +0200 | blanchet | move Nitpick files from "PLAIN_DEPENDENCIES" to "MAIN_DEPENDENCIES", where they belong | changeset | files |