| Tue, 17 May 2005 19:23:54 +0200 | wenzelm | updated; | changeset | files |
| Tue, 17 May 2005 18:51:16 +0200 | wenzelm | var_or_skolem: always print question mark for vars stemming from skolems; | changeset | files |
| Tue, 17 May 2005 18:10:44 +0200 | wenzelm | added read_variable: optional question mark on input; | changeset | files |
| Tue, 17 May 2005 18:10:43 +0200 | wenzelm | substantial tuning -- adapted to common conventions; | changeset | files |