| Mon, 21 Oct 2013 10:19:57 +0200 | blanchet | expand doc a bit | changeset | files |
| Mon, 21 Oct 2013 09:35:18 +0200 | blanchet | updated doc | changeset | files |
| Mon, 21 Oct 2013 09:31:19 +0200 | blanchet | tuning | changeset | files |
| Mon, 21 Oct 2013 09:14:05 +0200 | blanchet | warn about incompatible recursor signature | changeset | files |
| Mon, 21 Oct 2013 08:27:51 +0200 | blanchet | more informative abort | changeset | files |
| Mon, 21 Oct 2013 07:50:32 +0200 | blanchet | tuning | changeset | files |
| Mon, 21 Oct 2013 07:24:18 +0200 | blanchet | systematically close derivations in BNF package | changeset | files |
| Sun, 20 Oct 2013 23:36:18 +0200 | blanchet | removed temporary error handling | changeset | files |
| Sun, 20 Oct 2013 23:29:49 +0200 | blanchet | strengthened tactic | changeset | files |
| Sun, 20 Oct 2013 22:51:21 +0200 | blanchet | tuning | changeset | files |
| Sun, 20 Oct 2013 22:39:40 +0200 | blanchet | reintroduced parts of 07a8145aaeba that a22ded8a7f7d wrongly took out | changeset | files |
| Sun, 20 Oct 2013 21:59:08 +0200 | blanchet | tuning | changeset | files |
| Sun, 20 Oct 2013 19:23:28 +0200 | blanchet | gracefully handle case where a nested recursive variable appears directly on the rhs of a primcorec equation | changeset | files |
| Sun, 20 Oct 2013 19:20:08 +0200 | blanchet | tuning | changeset | files |
| Sun, 20 Oct 2013 19:20:08 +0200 | blanchet | tuning | changeset | files |