Admin/ProofGeneral/menu.patch
2009-11-26 wenzelm 2009-11-26 additional menu entries;