| Thu, 27 Dec 2012 12:43:41 +0100 | blanchet | merged | changeset | files |
| Thu, 27 Dec 2012 12:34:06 +0100 | blanchet | new version of MaSh | changeset | files |
| Thu, 27 Dec 2012 10:21:21 +0100 | blanchet | fixed total | changeset | files |
| Thu, 27 Dec 2012 10:01:40 +0100 | blanchet | new version of MaSh, with theory-level reasoning | changeset | files |
| Thu, 27 Dec 2012 11:32:28 +0100 | haftmann | tuned | changeset | files |
| Wed, 26 Dec 2012 11:06:21 +0100 | wenzelm | prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines; | changeset | files |
| Sun, 23 Dec 2012 19:54:15 +0100 | nipkow | renamed and added lemmas | changeset | files |
| Sat, 22 Dec 2012 00:04:50 +0100 | nipkow | added simp rule | changeset | files |
| Fri, 21 Dec 2012 23:52:10 +0100 | nipkow | merged | changeset | files |
| Fri, 21 Dec 2012 16:31:37 +0100 | nipkow | merged | changeset | files |
| Fri, 21 Dec 2012 10:08:06 +0100 | nipkow | merged | changeset | files |
| Fri, 21 Dec 2012 15:22:57 +0100 | blanchet | linearize eval driver, to work around horrible bug in previous implementation | changeset | files |
| Fri, 21 Dec 2012 14:35:29 +0100 | blanchet | name tuning | changeset | files |
| Fri, 21 Dec 2012 13:33:54 +0100 | blanchet | merge | changeset | files |
| Thu, 20 Dec 2012 15:51:27 +0100 | blanchet | better weight functions for MePo/MaSh etc. | changeset | files |