| Thu, 23 Nov 2006 22:38:29 +0100 | wenzelm | prefer Proof.context over Context.generic; | changeset | files |
| 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 |