wenzelm [Fri, 09 Aug 2013 00:02:18 +0200] rev 52927
tuned message;
wenzelm [Thu, 08 Aug 2013 23:52:35 +0200] rev 52926
removed unused YXML_Find_Theorems and Legacy_XML_Syntax;
wenzelm [Thu, 08 Aug 2013 23:34:52 +0200] rev 52925
more robust read_query;
avoid pointless position, which is always line 1 for single-line input;
kleing [Fri, 09 Aug 2013 12:27:29 +0200] rev 52924
removed commented out declaration
traytel [Fri, 09 Aug 2013 11:26:29 +0200] rev 52923
tuned
wenzelm [Thu, 08 Aug 2013 20:43:54 +0200] rev 52922
merged
wenzelm [Thu, 08 Aug 2013 17:49:07 +0200] rev 52921
eliminate \<twosuperior> as well;
wenzelm [Thu, 08 Aug 2013 17:36:14 +0200] rev 52920
more strict identifier syntax: disallow superscripts, which tend to be used in notation such as \<^sup>\<omega>;
wenzelm [Thu, 08 Aug 2013 17:24:31 +0200] rev 52919
prefer plain subscript for identifiers;
wenzelm [Thu, 08 Aug 2013 17:04:02 +0200] rev 52918
proper low-level comparison -- heed warning by Scala compiler;