| Fri, 31 Oct 2014 11:18:17 +0100 | wenzelm | discontinued Proof General; | file | diff | annotate |
| Mon, 30 Jun 2014 10:53:37 +0200 | wenzelm | ProofGeneral-4.2-2 is optional component (including the traditional helper scripts); | file | diff | annotate |
| Fri, 17 Aug 2012 19:07:14 +0200 | wenzelm | some explanations on component categories; | file | diff | annotate |
| Fri, 17 Aug 2012 17:52:10 +0200 | wenzelm | some grouping of components; | file | diff | annotate |