Thu, 20 Mar 2008 17:38:55 +0100 | wenzelm | thm_antiq: produce error at runtime, not compile time; | changeset | files |
Thu, 20 Mar 2008 17:38:54 +0100 | wenzelm | get_thms etc.: improved reporting of source position; | changeset | files |
Thu, 20 Mar 2008 17:38:53 +0100 | wenzelm | added pos_of_ref; | changeset | files |