| Wed, 10 Feb 2010 20:35:54 +0100 | Christian Urban | cleaned a bit | file | diff | annotate |
| Wed, 10 Feb 2010 17:10:52 +0100 | Cezary Kaliszyk | hg-added the added file. | file | diff | annotate |
| Wed, 10 Feb 2010 17:02:29 +0100 | Cezary Kaliszyk | Changes from Makarius's code review + some noticed fixes. | file | diff | annotate |
| Wed, 10 Feb 2010 11:27:49 +0100 | Cezary Kaliszyk | Some cleaning of proofs. | file | diff | annotate |
| Fri, 05 Feb 2010 10:32:21 +0100 | Cezary Kaliszyk | Fixes for Bex1 removal. | file | diff | annotate |
| Thu, 28 Jan 2010 12:24:49 +0100 | Cezary Kaliszyk | Renamed Bexeq to Bex1_rel | file | diff | annotate |
| Tue, 26 Jan 2010 16:30:51 +0100 | Cezary Kaliszyk | Bex1_Bexeq_regular. | file | diff | annotate |