| 2014-10-31 | wenzelm | discontinued Proof General; | file | diff | annotate |
| 2014-06-30 | wenzelm | ProofGeneral-4.2-2 is optional component (including the traditional helper scripts); | file | diff | annotate |
| 2012-08-17 | wenzelm | some explanations on component categories; | file | diff | annotate |
| 2012-08-17 | wenzelm | some grouping of components; | file | diff | annotate |