| Fri, 24 Aug 2007 14:16:44 +0200 | paulson | Returning both a "one-line" proof and a structured proof | file | diff | annotate |
| Tue, 21 Aug 2007 18:27:41 +0200 | paulson | "sendback" to PG for one-line proof reconstructions | file | diff | annotate |
| Fri, 29 Jun 2007 18:21:25 +0200 | paulson | bug fixes to proof reconstruction | file | diff | annotate |