| Tue, 24 Jun 2014 12:35:43 +0200 | blanchet | tweaked experimental setup | changeset | files |
| Tue, 24 Jun 2014 08:20:00 +0200 | blanchet | changed order of facts so that 'name_tabs' has the same order everywhere (which affects unaliasing) | changeset | files |
| Tue, 24 Jun 2014 08:19:58 +0200 | blanchet | use strings to communicate with external process, to ease debugging | changeset | files |