> (add-hook 'proof-activate-scripting-hook '(lambda () (when As mentioned recently, the above (lambda ...) s-expressions is not data but is a function, so don't quote it with '.
Stefan PS: As Elisp slowly moves to lexical scoping, the difference between the two is becoming more important, hence my renewed battle against such quoting. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel