| Tue, 12 Dec 2006 00:02:54 +0100 | huffman | theory of Frechet derivatives | changeset | files |
| Mon, 11 Dec 2006 21:41:05 +0100 | wenzelm | specials: include single quote; | changeset | files |
| Mon, 11 Dec 2006 21:41:03 +0100 | wenzelm | xstr: disallow backslashes; | changeset | files |
| Mon, 11 Dec 2006 21:39:28 +0100 | wenzelm | advanced translation functions: Proof.context; | changeset | files |