| 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 |