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