| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Fri, 01 Dec 2006 17:22:28 +0100 | haftmann | stripped some legacy bindings | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |