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 |