Thu, 23 Nov 2006 22:38:28 +0100 | wenzelm | tuned proofs; | changeset | files |
Thu, 23 Nov 2006 22:14:26 +0100 | aspinall | Accept URLs of form file:/home... also. | changeset | files |
Thu, 23 Nov 2006 20:34:21 +0100 | wenzelm | prefer antiquotations over LaTeX macros; | changeset | files |