| Mon, 09 Dec 2013 20:16:12 +0100 | wenzelm | provide @{file_unchecked} in Isabelle/Pure; | changeset | files |
| Mon, 09 Dec 2013 12:27:18 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Dec 2013 12:22:23 +0100 | wenzelm | more antiquotations; | changeset | files |
| Mon, 09 Dec 2013 12:16:52 +0100 | wenzelm | added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE; | changeset | files |