Thu, 08 Aug 2013 23:34:52 +0200 | wenzelm | more robust read_query; | changeset | files |
Fri, 09 Aug 2013 12:27:29 +0200 | kleing | removed commented out declaration | changeset | files |
Fri, 09 Aug 2013 11:26:29 +0200 | traytel | tuned | changeset | files |
Thu, 08 Aug 2013 20:43:54 +0200 | wenzelm | merged | changeset | files |
Thu, 08 Aug 2013 17:49:07 +0200 | wenzelm | eliminate \<twosuperior> as well; | changeset | files |
Thu, 08 Aug 2013 17:36:14 +0200 | wenzelm | more strict identifier syntax: disallow superscripts, which tend to be used in notation such as \<^sup>\<omega>; | changeset | files |