On 04/09/12 13:33, Stefan Monnier wrote:
I'd like to support Emacs 24 properly although there are API updates which
are tricky to support in two versions --- esp when the rightly increasingly
rigorous byte compiler tries to compile code for old versions and barfs.
I can probably help in this ar
> (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 importa
2012/9/4 David Aspinall :
> I'm guilty myself with the experiment in Trac #444 (eager window layout),
> I will revert that change (Pierre, I understand from comments it wasn't what
> you wanted anyway, do you consider #444 solved with your own fixes now?).
I did revert it by setting the enable var
In addition to Davids list we should fix the conflict between
proof-electric-terminator and coq-colon-self-insert, that I
reported yesterday on this list.
issue #449
- Proof appears as command in the proof tree
issue #450
- support for braces and bullets
issue #451
H.
> I'd like to support Emacs 24 properly although there are API updates which
> are tricky to support in two versions --- esp when the rightly increasingly
> rigorous byte compiler tries to compile code for old versions and barfs.
I can probably help in this area, except that I do not know the conc
Thanks for followup, Hendrik.
I'd like to push the button on this soon, so I think we should stop
adding new features/hacks to the CVS head for a while...
How about Hol light? Would you release 4.2 with the current
partial hol light support enabled? Or would you put hol-light
into comme
David Aspinall writes:
I'd like to push the button on this soon, so I think we should stop
adding new features/hacks to the CVS head for a while...
How about Hol light? Would you release 4.2 with the current
partial hol light support enabled? Or would you put hol-light
into comments in gen
Dear PG devs,
I'd like to push the button on this soon, so I think we should stop
adding new features/hacks to the CVS head for a while...
I'm guilty myself with the experiment in Trac #444 (eager window
layout), I will revert that change (Pierre, I understand from comments
it wasn't what yo