Sun, 26 Jul 2015 20:56:44 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
Sun, 26 Jul 2015 20:54:02 +0200 | wenzelm | ignore non-existant variables, like other instantiate rules; | changeset | files |
Sun, 26 Jul 2015 17:32:59 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |