| Fri, 31 Aug 2012 22:34:37 +0200 | wenzelm | merged | changeset | files |
| Fri, 31 Aug 2012 22:25:06 +0200 | wenzelm | always register proofs, even for empty binding; | changeset | files |
| Fri, 31 Aug 2012 22:24:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 31 Aug 2012 16:07:06 +0200 | blanchet | made parser a bit more flexible | changeset | files |