aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* Add a master debug flag, and disable debug output ordinarily.Gravatar David Aspinall2010-10-10
* Fix debug message formatGravatar David Aspinall2010-10-10
* UpdatedGravatar David Aspinall2010-10-10
* Reenable LEGO since it's included in docs (needed for make magic)Gravatar David Aspinall2010-10-10
* Disable lego and hol-light by defaultGravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* pg-span-name: improve docstring.Gravatar David Aspinall2010-10-10
* pg-span-context-menu: add docGravatar David Aspinall2010-10-10
* Activate debug message printing into log fileGravatar 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
* Remove developers note from docstring of togglersGravatar David Aspinall2010-10-08
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 21:47:28 +0000