aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Unnecessary testGravatar David Aspinall2009-08-31
* Update docsGravatar David Aspinall2009-08-31
* Set version tag for new release.Gravatar David Aspinall2009-08-31
* Cleanup of interactive point moving functions (in progress)Gravatar David Aspinall2009-08-29
* pg-create-in-span-context-menu: fix nestingGravatar David Aspinall2009-08-28
* Fix compile warningsGravatar David Aspinall2009-08-28
* Update autoloadsGravatar David Aspinall2009-08-28
* Set version tag for new release.Gravatar David Aspinall2009-08-28
* Clean up and rearrange variable declaration filesGravatar David Aspinall2009-08-28
* Add menu entry for setting proof assistant commandGravatar David Aspinall2009-08-25
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* proof-one-command-per-line: change default, use in proof-insert-pbp-command.Gravatar David Aspinall2009-08-20
* Documentation improvements.Gravatar David Aspinall2009-08-20
* proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsGravatar David Aspinall2009-08-20
* proof-shell-insert: add scriptspan argument, to pass source positions to proo...Gravatar David Aspinall2009-08-19
* DocstringsGravatar David Aspinall2009-08-19
* proof-splice-separator: ignore nil entries for convenienceGravatar David Aspinall2009-08-19
* Bump yearGravatar David Aspinall2009-08-19
* NoteGravatar David Aspinall2009-08-18
* Set version tag for new release.Gravatar David Aspinall2009-08-17
* Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...Gravatar David Aspinall2009-08-17
* TidyGravatar David Aspinall2009-08-17
* Fix proof-next-error key bindingGravatar David Aspinall2009-08-17
* Update docGravatar David Aspinall2009-08-17
* proof-looking-at-syntactic-context: allow proof assistantGravatar David Aspinall2009-08-17
* Only move proof-overlay-arrow once it's got a position.Gravatar David Aspinall2009-08-17
* Move the overlay arrow backwards in case of edits above it whichGravatar David Aspinall2009-08-17
* Start refactoring to support more sophisticated queue handling, by adding fla...Gravatar David Aspinall2009-08-14
* pg-last-output-displayform: add convenience functionGravatar David Aspinall2009-08-14
* Add key binding for proof-query-identifierGravatar David Aspinall2009-08-14
* pg-current-word-pos: add for convenience in identifier query functionGravatar David Aspinall2009-08-14
* Tweak pg-identifier-near-point-query to add decoration to buffer.Gravatar David Aspinall2009-08-14
* Rename proof-shell-process-output -> proof-shell-classify-outputGravatar David Aspinall2009-08-14
* Add identifier info command to toolbarGravatar David Aspinall2009-08-14
* Add info command to toolbar, and re-enable command, interrupt, restart.Gravatar David Aspinall2009-08-14
* Set version tag for new release.Gravatar David Aspinall2009-08-13
* Add parser cache for proof-segment-up-to.Gravatar David Aspinall2009-08-13
* Add menu setting to set proof-strict-read-only to 'retractGravatar David Aspinall2009-08-13
* proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.Gravatar David Aspinall2009-08-13
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* Set version tag for new release.Gravatar David Aspinall2009-08-07
* Remove experimental setting. Define toggle function.Gravatar David Aspinall2009-08-07
* proof-full-annotation: change defaultGravatar David Aspinall2009-08-07
* Fix parenoGravatar David Aspinall2009-08-07
* Extend implementation of identifier-under-mouse (now pg-identifier-query)Gravatar David Aspinall2009-08-07
* Re-enable toolbar commands on main menu; add home iconGravatar David Aspinall2009-08-07
* Rename lockedend -> homeGravatar David Aspinall2009-08-07
* proof-colour-locked: complete implementationGravatar David Aspinall2009-08-07
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 02:52:35 +0000