| Thu, 28 Oct 2010 17:28:45 +0200 | bulwahn | adding a simple check to only run with a SWI-Prolog version known to work | changeset | files |
| Thu, 28 Oct 2010 23:54:39 +0200 | wenzelm | tuned messages; | changeset | files |
| Thu, 28 Oct 2010 23:19:52 +0200 | wenzelm | discontinued obsolete ML antiquotation @{theory_ref}; | changeset | files |
| Thu, 28 Oct 2010 22:59:33 +0200 | wenzelm | tuned; | changeset | files |