aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Test caseGravatar David Aspinall2010-09-27
* *** empty log message ***Gravatar David Aspinall2010-09-24
* Fix bug trac 140 by writing a cleaner regexp than (proof-ids ... " ").Gravatar Pierre Courtieu2010-09-22
* Fix some bugs in coq regexp generationGravatar David Aspinall2010-09-22
* Remove support for Emacs <21 in syntax tableGravatar David Aspinall2010-09-22
* add notesGravatar David Aspinall2010-09-22
* Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140Gravatar David Aspinall2010-09-22
* Trivial comment adjustment.Gravatar David Aspinall2010-09-22
* proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar.Gravatar David Aspinall2010-09-22
* proof-undo-and-delete-last-successful-command: repair (afterGravatar David Aspinall2010-09-22
* Introduce more colourings for active scripting indicator.Gravatar David Aspinall2010-09-21
* proof-deftoggle: add declare-function to prevent compiler warningsGravatar David Aspinall2010-09-21
* Adjust menu layout for Quick Options. Add Document Centred and Default conve...Gravatar David Aspinall2010-09-21
* Add Document Centred command. Adjust for new menu layout.Gravatar David Aspinall2010-09-21
* Fix for new menu layout. Improve doc for automatic processing, document-cent...Gravatar David Aspinall2010-09-21
* proof-autosend-loop: adjust to only update modified tick when sendingGravatar David Aspinall2010-09-21
* Attempt to fix #352 by ensuring symbol in toolbar keymap is given a prefixGravatar David Aspinall2010-09-20
* Fix typoGravatar David Aspinall2010-09-20
* Set version tag for new release.Gravatar David Aspinall2010-09-09
* Revert last change, version from Pierre is cleaner.Gravatar David Aspinall2010-09-09
* Hack regexps so that goals are cleared on Proof Completed. message. Unfortun...Gravatar David Aspinall2010-09-09
* Fixed the cleaning of goals buffer when proof completedGravatar Pierre Courtieu2010-09-09
* Moved the modeline dislpay of open goals to scripting buffer.Gravatar Pierre Courtieu2010-09-09
* filled CHANGES a bit more precisely.Gravatar Pierre Courtieu2010-09-09
* Cleaning indentation code.Gravatar Pierre Courtieu2010-09-09
* Fixed indentation at end of file.Gravatar Pierre Courtieu2010-09-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 14:22:40 +0000