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