Mon, 26 Nov 2012 19:56:09 +0100 | wenzelm | removed remains of Oheimb's double-space (cf. 0a5af667dc75); | file | diff | annotate |
Sun, 19 Jun 2011 15:22:58 +0200 | wenzelm | discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax); | file | diff | annotate |
Mon, 10 Jan 2011 15:45:46 +0100 | wenzelm | eliminated Int.toString; | file | diff | annotate |
Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
Thu, 27 May 2010 18:10:37 +0200 | wenzelm | renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time; | file | diff | annotate |
Fri, 20 Nov 2009 18:36:44 +1100 | kleing | WWW_Find component: find_theorems via web browser | file | diff | annotate |