| Tue, 21 Jun 2011 17:17:39 +0200 | blanchet | generate type predicates for existentials/skolems, otherwise some problems might not be provable | changeset | files |
| Tue, 21 Jun 2011 17:17:38 +0200 | blanchet | insert rather than append special facts to make it less likely that they're truncated away | changeset | files |
| Tue, 21 Jun 2011 15:43:27 +0200 | wenzelm | hidden font: full height makes cursor more visible; | changeset | files |
| Tue, 21 Jun 2011 14:12:49 +0200 | wenzelm | more uniform treatment of recode_set/recode_map; | changeset | files |