| 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 |