doc-src/TutorialI/settings.ML
2010-08-27 wenzelm 2010-08-27 proper context for various Thy_Output options, via official configuration options in ML and Isar;
2010-05-31 wenzelm 2010-05-31 modernized some structure names, keeping a few legacy aliases;
2007-01-19 wenzelm 2007-01-19 renamed IsarOutput to ThyOutput;
2000-09-05 nipkow 2000-09-05 *** empty log message ***