Wed, 14 Dec 2011 12:10:44 +0100 | wenzelm | some full isatest runs, which include benchmark targets; | changeset | files |
Wed, 14 Dec 2011 12:02:02 +0100 | wenzelm | more visible benchmarks; | changeset | files |
Wed, 14 Dec 2011 10:18:28 +0100 | blanchet | fixed Nitpick definition of "<" on "real"s | changeset | files |
Wed, 14 Dec 2011 08:32:48 +0100 | huffman | replace 'lemmas' with 'lemma' | changeset | files |
Wed, 14 Dec 2011 07:38:30 +0100 | huffman | merged | changeset | files |
Tue, 13 Dec 2011 18:33:04 +0100 | huffman | more simp rules for sbintrunc | changeset | files |