| Sat, 01 Feb 2014 18:00:28 +0100 | wenzelm | simplified sessions; | changeset | files |
| Sat, 01 Feb 2014 17:56:03 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sat, 01 Feb 2014 00:32:32 +0000 | paulson | version of Fermat's Theorem for type nat | changeset | files |
| Fri, 31 Jan 2014 19:32:13 +0100 | wenzelm | merged | changeset | files |
| Fri, 31 Jan 2014 18:58:50 +0100 | wenzelm | merged | changeset | files |
| Fri, 31 Jan 2014 17:35:19 +0100 | wenzelm | include comment.sty 3.6 which still works with plain tex, in contrast to later 3.7 which is only for latex (slow due to file snippets) -- see also 30781cc78fc6; | changeset | files |
| Fri, 31 Jan 2014 19:16:41 +0100 | blanchet | generalized preplaying infrastructure to store various results for various methods | changeset | files |
| Fri, 31 Jan 2014 18:43:16 +0100 | blanchet | added a 'trace' option | changeset | files |