Fixed some regexp for V8.4 final version.
Making better menus for Coq. Menus visible in response and goals buffer.
Set version tag for new release.
Fixing compilation. Still need to verify some smie stuff on different versions of emacs.
Cleaned up a obsolete regexp.
Set version tag for new release.
Fix name in proof-easy-config, addressing Trac #441
Updated.
Rename optim-resp-windows -> coq-optimise-resp-windows for naming convention
coq-optimise-resp-windows: Check proof script buffer window exists, addressing Trac #446
Set version tag for new release.
fix 443 by enforcing that the prover is not busy in proof-retract-until-point
Add setting for rcs2log path
Add user option proof-next-command-insert-space.
Set version tag for new release.
Fix lambda quote
Emacs 24 compatibility (ucs-insert -> insert-char)
Updated
Better colours on dark frames
Emacs 24 update