aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Add proof-script-evaluate-elisp-comment-regexp security hole.Gravatar David Aspinall2009-09-04
* Require on scomint in right placeGravatar David Aspinall2009-09-04
* proof-file-to-buffer -> find-buffer-visitingGravatar David Aspinall2009-09-04
* proof-files-to-buffers, proof-locate-executable: simplifyGravatar David Aspinall2009-09-04
* Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-endGravatar David Aspinall2009-09-04
* proof-looking-at-syntactic-context: moved to proof-utils because of macro useGravatar David Aspinall2009-09-04
* proof-files-to-buffers, proof-locate-executable: simplifyGravatar David Aspinall2009-09-04
* Remove configuration of obsolete package function-menu (aka "fume")Gravatar David Aspinall2009-09-04
* Remove configuration of obsolete package function-menu (aka "fume")Gravatar David Aspinall2009-09-04
* Possible bug in interrupt signaling discoveredGravatar David Aspinall2009-09-04
* capitalisationGravatar David Aspinall2009-09-04
* Further simplificationGravatar David Aspinall2009-09-04
* Simplify splash using view-mode and newer Emacs variables.Gravatar David Aspinall2009-09-04
* Refactoring point movement commands (in progress). Remove proof-no-command.Gravatar David Aspinall2009-09-04
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* commentGravatar David Aspinall2009-09-04
* Use scomint instead of comintGravatar David Aspinall2009-09-04
* Shorten startup messageGravatar David Aspinall2009-09-03
* Set version tag for new release.Gravatar David Aspinall2009-09-01
* Remove some old X-Symbol references; update docs.Gravatar David Aspinall2009-09-01
* Comment about GNU Emacs portGravatar David Aspinall2009-09-01
* Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-...Gravatar Christophe Raffalli2009-09-01
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 15:49:05 +0000