| Wed, 30 Oct 1996 11:20:27 +0100 | paulson | Only calls nodup_Vars if really necessary. We get a speedup of nearly 6% | changeset | files |
| Wed, 30 Oct 1996 11:19:09 +0100 | paulson | Changed some mem calls to mem_string for greater efficiency (not that it could matter) | changeset | files |
| Wed, 30 Oct 1996 11:17:54 +0100 | paulson | Minor updates | changeset | files |