| Sat, 01 Sep 2012 19:43:18 +0200 | wenzelm | discontinued complicated/unreliable notion of recent proofs within context; | changeset | files |
| Sat, 01 Sep 2012 19:27:28 +0200 | wenzelm | central management of forked goals wrt. transaction id; | changeset | files |
| 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 |
| Fri, 31 Aug 2012 16:07:06 +0200 | blanchet | tuning | changeset | files |