| Sat, 24 Oct 2009 19:04:57 +0200 | wenzelm | maintain abstract entry, with position, identity etc.; | changeset | files |
| Sat, 24 Oct 2009 18:55:47 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 24 Oct 2009 18:55:27 +0200 | wenzelm | import theory Nat here, which avoids duplicate definition of datatype_realizers (and thus allows to maintain fully authentic fact table); | changeset | files |
| Sat, 24 Oct 2009 17:49:44 +0200 | wenzelm | markup for formal entities, with "def" or "ref" occurrences; | changeset | files |
| Sat, 24 Oct 2009 17:47:53 +0200 | wenzelm | handle Sorts.CLASS_ERROR instead of arbitrary exceptions; | changeset | files |
| Fri, 23 Oct 2009 20:48:14 +0200 | wenzelm | reactivated isatest on macbroy6 -- 3h later to avoid overlap with backup daemon; | changeset | files |
| Fri, 23 Oct 2009 17:12:47 +0200 | haftmann | merged | changeset | files |