aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* coq-find-and-forget: Allow undoing prover processed regionsGravatar David Aspinall2010-10-10
* coq-generic-expression: fix this to match symbols, not merely words.Gravatar David Aspinall2010-10-10
* Fix to last patch.Gravatar David Aspinall2010-10-10
* proof-assert-electric-terminator: prevent adding terminator if point is after...Gravatar David Aspinall2010-10-10
* Adjust a comment on proof-shell-modeGravatar David Aspinall2010-10-10
* Update magicGravatar David Aspinall2010-10-08
* Improve autosend docGravatar David Aspinall2010-10-08
* Remove developers note from docstring of togglersGravatar David Aspinall2010-10-08
* Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs)Gravatar David Aspinall2010-10-06
* No compile warning if image-size not availableGravatar David Aspinall2010-10-06
* Clean up obsolete commentsGravatar David Aspinall2010-10-04
* Fixes in strings/comments from Erik Martin-DorelGravatar David Aspinall2010-10-04
* CommentsGravatar David Aspinall2010-10-04
* Fully remove section for Coq-specific variables (coq-version-is-*Gravatar David Aspinall2010-10-04
* coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac #35...Gravatar David Aspinall2010-10-04
* Set version tag for new release.Gravatar David Aspinall2010-10-04
* Move mouse button bindings to avoid clashes (patch from Trac #365, Erik Marti...Gravatar David Aspinall2010-10-04
* Fix some mouse bindingsGravatar David Aspinall2010-10-04
* Set version tag for new release.Gravatar David Aspinall2010-10-01
* Document query identifierGravatar David Aspinall2010-10-01
* Failed attempt to fix font lock customizations for elispGravatar David Aspinall2010-10-01
* proof-universal-keys: Add binding for pg-identifier-under-mouse-query.Gravatar David Aspinall2010-10-01
* Add docGravatar David Aspinall2010-10-01
* proof-script-new-command-advance: add back some indentation attemptGravatar David Aspinall2010-10-01
* Move utility span-make-modifying-removing-span to span.elGravatar David Aspinall2010-10-01
* Rename span-add-self-removing-spanGravatar David Aspinall2010-10-01
* span-make-modifying-removing-span: add utilityGravatar David Aspinall2010-10-01
* Add explicit 'invisible flag on the action list for invisible commands.Gravatar David Aspinall2010-10-01
* coq-highlight-error: use span-add-self-removing-span (highlight and removal i...Gravatar David Aspinall2010-10-01
* coq-allow-highlight-error: remove this setting, now proof-shell-error-or-inte...Gravatar David Aspinall2010-10-01
* proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in...Gravatar David Aspinall2010-10-01
* ReFixed bug trac 356.Gravatar Pierre Courtieu2010-10-01
* Adjust handling of insertion of newlines before next command.Gravatar David Aspinall2010-10-01
* proof-next-command-on-new-line: add this new internal flagGravatar David Aspinall2010-10-01
* proof-script-command-separator: remove; proof-one-command-per-line becomes pr...Gravatar David Aspinall2010-10-01
* CommentGravatar David Aspinall2010-10-01
* Add key binding fixes from Erik Martin-Dorel (see Trac#359).Gravatar David Aspinall2010-10-01
* proof-script-command-separator: removed (always a space)Gravatar David Aspinall2010-10-01
* Update magic, release datesGravatar David Aspinall2010-10-01
* Update version numbers, release datesGravatar David Aspinall2010-10-01
* Set version tag for new release.Gravatar David Aspinall2010-09-29
* Coding conventionsGravatar David Aspinall2010-09-29
* Support proof-shell-init-cmd being a listGravatar David Aspinall2010-09-29
* Support proof-shell-init-cmd being a listGravatar David Aspinall2010-09-29
* DocGravatar David Aspinall2010-09-29
* Adjust default prover configurations. Add new entry points.Gravatar David Aspinall2010-09-29
* Experimental hol-light version, not usable yetGravatar David Aspinall2010-09-29
* Fixed redundant undo limit custom variables.Gravatar Pierre Courtieu2010-09-28
* Fixed colorization bug #356, introduced by a previous fix of bug 140.Gravatar Pierre Courtieu2010-09-28
* Set version tag for new release.Gravatar David Aspinall2010-09-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 03:14:36 +0000