| Wed, 07 Aug 2013 14:47:50 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 07 Aug 2013 14:13:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 07 Aug 2013 13:46:32 +0200 | wenzelm | more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness; | changeset | files |
| Wed, 07 Aug 2013 11:50:14 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 07 Aug 2013 11:44:17 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 07 Aug 2013 11:17:06 +0200 | wenzelm | enabled key event to apply query; | changeset | files |