> (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 '.
PS: As Elisp slowly moves to lexical scoping, the difference between the
two is becoming more important, hence my renewed battle against
ProofGeneral-devel mailing list