| Fri, 20 Apr 2012 22:49:40 +0200 | huffman | rename 'correspondence' method to 'transfer_prover' | changeset | files |
| Fri, 20 Apr 2012 18:29:21 +0200 | kuncar | hide the invariant constant for relators: invariant_commute infrastracture | changeset | files |
| Fri, 20 Apr 2012 23:16:46 +0200 | wenzelm | improved interleaving of start_execution vs. cancel_execution of the next update; | changeset | files |