Hi Hendrik
Thanks for the nudge --- no blockers I don't think, except extreme
overwork, 8-). I'll try to push the button soon, just need a spare
hour to run checks and update all the pieces. Apologies for the delay.
- David
On 17/10/12 15:25, Hendrik Tews wrote:
Hi,
David, is there
Hendrik Tews t...@os.inf.tu-dresden.de writes:
- support for braces and bullets
This requires more work than I thought. I have to postpone this
to October. Given that only few people use braces/bullets
(because they are new) and even fewer use Prooftree, it doesn't
make sense to delay the
(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