src/Doc/isar.sty
2014-01-25 wenzelm 2014-01-25 explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
2013-04-09 wenzelm 2013-04-09 more accurate documentation of "(structure)" mixfix;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;