Admin/ProofGeneral/menu.patch
2009-11-27 wenzelm 2009-11-27 more menu entries -- backport from PG 4.0 branch;
2009-11-26 wenzelm 2009-11-26 additional menu entries;