aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Added completion to insert Require, based on coq-load-path.Gravatar Pierre Courtieu2012-07-09
* updated CHANGES for Coq.Gravatar Pierre Courtieu2012-07-09
* Fixed a small bug in indentation + added new commands for queries withGravatar Pierre Courtieu2012-07-09
* Debugged coq indentation.Gravatar Pierre Courtieu2012-07-07
* More fixes in coq indentation (2).Gravatar Pierre Courtieu2012-07-06
* More fixes in coq indentation.Gravatar Pierre Courtieu2012-07-06
* Indentation debugging for coq.Gravatar Pierre Courtieu2012-07-05
* Code cleaning.Gravatar Pierre Courtieu2012-07-05
* Fixed some indentation details for Coq.Gravatar Pierre Courtieu2012-07-05
* Fixed a syntactic recognition function. Should Fix #2819.Gravatar Pierre Courtieu2012-07-05
* Fixed some indentation bugs.Gravatar Pierre Courtieu2012-07-03
* * generic/pg-user.el (which-func-modes): Fix compiler declaration.Gravatar Stefan Monnier2012-06-29
* Fixed some small bugs in coq indentation.Gravatar Pierre Courtieu2012-06-28
* Complete rework of the indentation mechanism using smie. The firstGravatar Pierre Courtieu2012-06-28
* Simplified file variables code.Gravatar Pierre Courtieu2012-06-19
* Completed documentation for file variables.Gravatar Pierre Courtieu2012-06-19
* Fix a bug in coq indet code when at the beginning of a buffer.Gravatar Pierre Courtieu2012-06-14
* Trying to minimize the slowness of indentation when no "Proof." isGravatar Pierre Courtieu2012-06-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 12:21:11 +0000