| 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 |