/images/gimp/scripts/
../
proofgeneral.scm