| Fri, 27 Mar 2015 17:46:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 27 Mar 2015 11:38:26 +0100 | wenzelm | clarified goal context; | changeset | files |
| Fri, 27 Mar 2015 15:08:31 +0100 | blanchet | clarified doc | changeset | files |
| Fri, 27 Mar 2015 11:20:46 +0100 | blanchet | more graceful failure if some of the involved BNFs have no data | changeset | files |
| Fri, 27 Mar 2015 09:56:34 +0100 | blanchet | sort BNFs in output | changeset | files |
| Fri, 27 Mar 2015 09:52:57 +0100 | blanchet | preserve order of type arguments in pre-FP BNF typedef | changeset | files |
| Thu, 26 Mar 2015 23:23:04 +0100 | blanchet | register pre-fixpoint BNFs in database to enable lookup later (e.g. in 'corec') | changeset | files |