| 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 |
| Wed, 07 Aug 2013 10:58:26 +0200 | wenzelm | prefer single-line HistoryTextField; | changeset | files |
| Wed, 07 Aug 2013 15:40:59 +0200 | kuncar | contract equalities in transfer and transfer domain rules when they are registered | changeset | files |
| Wed, 07 Aug 2013 15:40:29 +0200 | kuncar | expand equalities in the transfer relation in transfer_prover if the relation doesn't follow the functional structure | changeset | files |
| Tue, 06 Aug 2013 23:24:10 +0200 | wenzelm | merged | changeset | files |