> (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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
