| Fri, 12 Sep 2008 12:04:20 +0200 | wenzelm | added extern_fact (local or global); | changeset | files |
| Fri, 12 Sep 2008 12:04:19 +0200 | wenzelm | print raw (internal) result names; | changeset | files |
| Fri, 12 Sep 2008 12:04:16 +0200 | wenzelm | more procise printing of fact names; | changeset | files |
| Fri, 12 Sep 2008 10:54:00 +0200 | wenzelm | pretty_fact: extern fact name wrt. the given context, assuming that is the proper one for presentation; | changeset | files |