| Mon, 06 Dec 2010 14:45:29 +0100 | wenzelm | avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle; | file | diff | annotate |
| Sat, 28 Feb 2009 21:34:33 +0100 | wenzelm | A Serbian theory, by Filip Maric. | file | diff | annotate |