| 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 |
| Thu, 01 Oct 2009 20:04:44 +0200 | wenzelm | explicitly Unsynchronized; | file | diff | annotate |
| Sat, 28 Feb 2009 16:39:46 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Wed, 07 May 2008 13:05:46 +0200 | wenzelm | enabled ThyOutput.source option by default; | file | diff | annotate |
| Wed, 07 May 2008 12:38:55 +0200 | wenzelm | added logic-specific sessions; | file | diff | annotate |