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