| Mon, 21 Oct 2013 10:31:31 +0200 | blanchet | more docs | changeset | files |
| 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 |
| Sun, 20 Oct 2013 19:20:08 +0200 | blanchet | tuning | changeset | files |
| Sun, 20 Oct 2013 19:20:08 +0200 | blanchet | tuning | changeset | files |
| Sun, 20 Oct 2013 18:22:59 +0200 | blanchet | simplify code | changeset | files |
| Sun, 20 Oct 2013 17:45:54 +0200 | blanchet | avoid tactic failure for equations that contain an unapplied 'id' | changeset | files |
| Sat, 19 Oct 2013 00:00:50 +0200 | blanchet | improve support for recursion through functions | changeset | files |
| Fri, 18 Oct 2013 20:26:46 +0200 | blanchet | handle composition for multiple arguments correctly | changeset | files |
| Fri, 18 Oct 2013 19:18:32 +0200 | panny | merge | changeset | files |
| Fri, 18 Oct 2013 19:03:39 +0200 | panny | generate callssss | changeset | files |
| Fri, 18 Oct 2013 18:58:46 +0200 | blanchet | set stage for more flexible 'primrec' syntax for recursion through functions | changeset | files |
| Fri, 18 Oct 2013 17:47:25 +0200 | blanchet | don't print BNF constants | changeset | files |
| Fri, 18 Oct 2013 16:02:07 +0200 | blanchet | tuning | changeset | files |
| Fri, 18 Oct 2013 15:42:55 +0200 | blanchet | conceal even more ugly constructions | changeset | files |