aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Fixed a bug with function name "eval" (end of).Gravatar Pierre Courtieu2012-09-06
* Fixed a bug with function name "eval".Gravatar Pierre Courtieu2012-09-06
* Fixed double hit terminator. Now it is disabled by default, andGravatar Pierre Courtieu2012-09-05
* Set version tag for new release.Gravatar David Aspinall2012-09-04
* Fix compile for Emacs 24Gravatar David Aspinall2012-09-04
* Disable HOL Light support for release versionGravatar David Aspinall2012-09-04
* Remove functions defined for Emacs 22 compatibilityGravatar David Aspinall2012-09-02
* Repair operation with compiled code. Fails with interpreter, see Trac #445Gravatar David Aspinall2012-09-02
* Remove ref to file parsingcheck-412.v missing from CVS, so "make coq.autotest...Gravatar David Aspinall2012-09-02
* Fix headerGravatar David Aspinall2012-09-02
* Set version tag for new release.Gravatar David Aspinall2012-09-02
* Three windows mode is back as the default mode.Gravatar Pierre Courtieu2012-08-31
* Changed the behaviour of proof-layout-windows. Now it follows theGravatar Pierre Courtieu2012-08-31
* Fixing a bug happening in coq when three win mode on and scriptingGravatar Pierre Courtieu2012-08-31
* Setting nil by default the option to create resp and goals bufferGravatar Pierre Courtieu2012-08-31
* Resize response window when showing an ancient goal.Gravatar Pierre Courtieu2012-08-31
* Fixing previous commit on double hit.Gravatar Pierre Courtieu2012-08-31
* Impementing a "double hit" electric terminator. Idea: do electricGravatar Pierre Courtieu2012-08-30
* Summary: Don't quote lambda expressionsGravatar Stefan Monnier2012-08-30
* Added some new behavior to the usual 'show goal' shortcut: if point isGravatar Pierre Courtieu2012-08-30
* Illustrat Trac #447Gravatar David Aspinall2012-08-27
* Fixed an error when smie not present in the system.Gravatar Pierre Courtieu2012-08-24
* Add option proof-layout-windows-on-visit-file, addressing Trac #444Gravatar David Aspinall2012-08-16
* Emacs 24 updateGravatar David Aspinall2012-08-16
* Better colours on dark framesGravatar David Aspinall2012-08-16
* UpdatedGravatar David Aspinall2012-08-16
* Emacs 24 compatibility (ucs-insert -> insert-char)Gravatar David Aspinall2012-08-16
* Fix lambda quoteGravatar David Aspinall2012-08-16
* Set version tag for new release.Gravatar David Aspinall2012-08-14
* Add user option proof-next-command-insert-space.Gravatar David Aspinall2012-08-14
* Add setting for rcs2log pathGravatar David Aspinall2012-08-14
* fix 443 by enforcing that the prover is not busy in proof-retract-until-pointGravatar Hendrik Tews2012-08-14
* Set version tag for new release.Gravatar David Aspinall2012-08-09
* coq-optimise-resp-windows: Check proof script buffer window exists, addressin...Gravatar David Aspinall2012-08-09
* Rename optim-resp-windows -> coq-optimise-resp-windows for naming conventionGravatar David Aspinall2012-08-09
* Updated.Gravatar David Aspinall2012-08-09
* Fix name in proof-easy-config, addressing Trac #441Gravatar David Aspinall2012-08-09
* Set version tag for new release.Gravatar David Aspinall2012-07-27
* Cleaned up a obsolete regexp.Gravatar Pierre Courtieu2012-07-25
* Fixing compilation. Still need to verify some smie stuff on different version...Gravatar Pierre Courtieu2012-07-24
* Set version tag for new release.Gravatar David Aspinall2012-07-23
* Making better menus for Coq. Menus visible in response and goals buffer.Gravatar Pierre Courtieu2012-07-22
* Fixed some regexp for V8.4 final version.Gravatar Pierre Courtieu2012-07-21
* Fixed widow shrinking hooks + added coq command shortcuts inGravatar Pierre Courtieu2012-07-19
* Patch to allow byte compilation without X, reported on Gentoo via Ulrich MuellerGravatar David Aspinall2012-07-15
* Simplified file variable code for coq.Gravatar Pierre Courtieu2012-07-11
* Adapted to late coq-8.4 new messages.Gravatar Pierre Courtieu2012-07-10
* Fixed incorrect syntax of previous commit.Gravatar Pierre Courtieu2012-07-10
* Made "printing all" queries smater in letting the prover in the sameGravatar Pierre Courtieu2012-07-10
* Fixing previous commit (Added completion to insert Require, based onGravatar Pierre Courtieu2012-07-09