Admin/ProofGeneral/progname.patch
Mon, 30 Nov 2009 17:13:12 +0100 wenzelm more robust treatment of spaces in directory names;
less more (0) tip