Mon, 12 Nov 2007 21:09:32 +0100 | wenzelm | back to sigusr2, after Poly/ML 5.1 has been adapted; | file | diff | annotate |
Mon, 12 Nov 2007 20:10:34 +0100 | wenzelm | changed Posix.Signal.usr2 to Posix.Signal.usr1 to make it work with Poly/ML 5.1; | file | diff | annotate |
Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
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 |