| 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 |
| Tue, 06 Aug 2013 23:20:25 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Tue, 06 Aug 2013 22:27:52 +0200 | wenzelm | more generic button; | changeset | files |
| Tue, 06 Aug 2013 22:02:20 +0200 | wenzelm | support for query operations that consist of parallel segments; | changeset | files |
| Tue, 06 Aug 2013 21:41:24 +0200 | wenzelm | more tooltips; | changeset | files |
| Tue, 06 Aug 2013 21:34:58 +0200 | wenzelm | tuned -- more explicit type Status.Value; | changeset | files |