src/Doc/IsarRef/Inner_Syntax.thy
2013-05-13 wenzelm 2013-05-13 option "goals_limit", with more uniform description;
2013-04-09 wenzelm 2013-04-09 more accurate documentation of "(structure)" mixfix;
2013-04-09 wenzelm 2013-04-09 just one syntax category "mixfix" -- check structure annotation semantically;
2012-12-30 wenzelm 2012-12-30 uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5);
2012-12-29 wenzelm 2012-12-29 tuned;
2012-10-04 wenzelm 2012-10-04 some documentation of show_markup;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;