| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | dropped outdated/speculative historical comments; | changeset | files |
| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | less redundant tags | changeset | files |
| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | removed generation of instantiated pattern set, which is never actually used | changeset | files |
| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | more precise type for obscure "prfx" field | changeset | files |
| Tue, 07 Jun 2011 21:37:40 +0200 | boehmes | clarified (and slightly modified) the semantics of max_new_instances | changeset | files |
| Tue, 07 Jun 2011 19:22:52 +0200 | kleing | use null_heap instead of %_. 0 to avoid printing problems | changeset | files |
| Tue, 07 Jun 2011 14:38:42 +0200 | blanchet | prioritize more relevant facts for monomorphization | changeset | files |
| Tue, 07 Jun 2011 14:17:35 +0200 | blanchet | more suitable implementation of "schematic_consts_of" for monomorphizer, for ATPs | changeset | files |