aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* 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
* Set version tag for new release.Gravatar 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
* Add explicit 'invisible flag on the action list for invisible commands.Gravatar David Aspinall2010-10-01
* proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting in...Gravatar David Aspinall2010-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
* 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
* Set version tag for new release.Gravatar David Aspinall2010-09-27
* Fix some bugs in coq regexp generationGravatar 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
* 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
* Set version tag for new release.Gravatar David Aspinall2010-09-08
* mapcar -> mapc to fix compile errorGravatar David Aspinall2010-09-08
* pg-autotest-find-file-restart: wait for retraction to complete.Gravatar David Aspinall2010-09-08
* Remove debug messageGravatar David Aspinall2010-09-08
* Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ...Gravatar David Aspinall2010-09-08
* Script mouse face highlighting: new faces/colours for commands and regions, r...Gravatar David Aspinall2010-09-08
* Trivial comment changeGravatar David Aspinall2010-09-08
* Tidy comments.Gravatar David Aspinall2010-09-08
* CommentsGravatar David Aspinall2010-09-08
* proof-assert-electric-terminator: fix for proof-terminal-string, not charGravatar David Aspinall2010-09-07
* Set version tag for new release.Gravatar David Aspinall2010-08-27
* SimplifyGravatar David Aspinall2010-08-27
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* Remove proof-autosend-error-pointGravatar David Aspinall2010-08-27
* Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....Gravatar David Aspinall2010-08-27
* Move location of mmmGravatar David Aspinall2010-08-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 18:14:27 +0000