| Fri, 27 Aug 2010 12:40:20 +0200 | wenzelm | proper context for various Thy_Output options, via official configuration options in ML and Isar; | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
| Fri, 19 Jan 2007 22:08:04 +0100 | wenzelm | renamed IsarOutput to ThyOutput; | file | diff | annotate |
| Tue, 05 Sep 2000 09:03:17 +0200 | nipkow | *** empty log message *** | file | diff | annotate |