Fri, 09 Aug 2013 00:02:18 +0200 | wenzelm | tuned message; | changeset | files |
Thu, 08 Aug 2013 23:52:35 +0200 | wenzelm | removed unused YXML_Find_Theorems and Legacy_XML_Syntax; | changeset | files |
Thu, 08 Aug 2013 23:34:52 +0200 | wenzelm | more robust read_query; | changeset | files |