Tue, 24 Aug 2010 19:19:28 +0200 | blanchet | compute names lazily; | changeset | files |
Tue, 24 Aug 2010 18:03:43 +0200 | blanchet | clean handling of whether a fact is chained or not; | changeset | files |
Tue, 24 Aug 2010 16:43:52 +0200 | blanchet | don't backtick facts that contain schematic variables, since this doesn't work (for some reason) | changeset | files |