| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Sat, 03 Oct 2009 12:05:40 +0200 | boehmes | re-organized signature of AtpWrapper structure: records instead of unnamed parameters and return values, | file | diff | annotate |
| Mon, 21 Sep 2009 11:01:39 +0200 | haftmann | tuned proofs | file | diff | annotate |
| Tue, 14 Oct 2008 16:01:36 +0200 | wenzelm | renamed AtpThread to AtpWrapper; | file | diff | annotate |
| Fri, 03 Oct 2008 20:10:43 +0200 | wenzelm | updated to new AtpManager; | file | diff | annotate |
| Wed, 07 May 2008 10:59:02 +0200 | berghofe | Replaced blast by fast in proof of parts_singleton, since blast looped | file | diff | annotate |
| Wed, 19 Dec 2007 17:40:48 +0100 | paulson | Replaced refs by config params; finer critical section in mets method | file | diff | annotate |