| Sun, 08 Nov 2009 13:56:44 +0100 | wenzelm | modernized structure Random_Word; | changeset | files |
| Sun, 08 Nov 2009 13:44:16 +0100 | wenzelm | init_component: slightly more robust read (raw input, succeed on non-terminated last line); | changeset | files |
| Sat, 07 Nov 2009 18:55:50 +0000 | webertj | merged | changeset | files |
| Sat, 07 Nov 2009 18:55:30 +0000 | webertj | Due to popular demand: added a function that benchmarks proof reconstruction | changeset | files |