aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsGravatar David Aspinall2009-08-20
|
* Remove obsolete file mentionGravatar David Aspinall2009-08-20
|
* Don't make link to index.htmlGravatar David Aspinall2009-08-20
|
* proof-shell-insert: add scriptspan argument, to pass source positions to ↵Gravatar David Aspinall2009-08-19
| | | | proof-shell-insert-hook
* DocstringsGravatar David Aspinall2009-08-19
|
* proof-splice-separator: ignore nil entries for convenienceGravatar David Aspinall2009-08-19
|
* Enhance command markup to pass position information. Extend defaults for ↵Gravatar David Aspinall2009-08-19
| | | | response/goals font-lock keywords.
* *** empty log message ***Gravatar David Aspinall2009-08-19
|
* Bump yearGravatar David Aspinall2009-08-19
|
* Hints about setting position in commandGravatar David Aspinall2009-08-18
|
* NoteGravatar David Aspinall2009-08-18
|
* First attempt at command wrapping (see ↵Gravatar David Aspinall2009-08-18
| | | | http://proofgeneral.inf.ed.ac.uk/trac/ticket/199)
* Set version tag for new release.Gravatar David Aspinall2009-08-17
|
* Move proof-interrupt-process to proof-shell. Add pending interrupt ↵Gravatar David Aspinall2009-08-17
| | | | behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
* TidyGravatar David Aspinall2009-08-17
|
* Update some examplesGravatar David Aspinall2009-08-17
|
* TidyGravatar David Aspinall2009-08-17
|
* Fix proof-next-error key bindingGravatar David Aspinall2009-08-17
|
* isar-syntactic-context: tweak (still not perfect, loses between "--" and ↵Gravatar David Aspinall2009-08-17
| | | | string start)
* isar-syntactic-context: fix calls to re-search-backwardGravatar David Aspinall2009-08-17
|
* Update docGravatar David Aspinall2009-08-17
|
* Updated.Gravatar David Aspinall2009-08-17
|
* proof-looking-at-syntactic-context: add doc. Update doc/names of proof ↵Gravatar David Aspinall2009-08-17
| | | | shell filter functions.
* proof-looking-at-syntactic-context: allow proof assistantGravatar David Aspinall2009-08-17
| | | | version to override default.
* isar-syntactic-context: modify proof-looking-at-syntactic-context to allowGravatar David Aspinall2009-08-17
| | | | recognition of terminating comment strings.
* Only move proof-overlay-arrow once it's got a position.Gravatar David Aspinall2009-08-17
|
* New files.Gravatar David Aspinall2009-08-17
|
* Renamed fileGravatar David Aspinall2009-08-17
|
* Move the overlay arrow backwards in case of edits above it whichGravatar David Aspinall2009-08-17
| | | | affect the next position to be processed.
* Minor changes from Stefan Monnier's patchGravatar David Aspinall2009-08-17
|
* Start refactoring to support more sophisticated queue handling, by adding ↵Gravatar David Aspinall2009-08-14
| | | | flags to proof action list
* 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
|
* Set proof-query-identifier-command in right place.Gravatar 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
|
* isar-output-font-lock-keywords-1: enable display of ? and ' againGravatar David Aspinall2009-08-14
|
* Do not hide the spurious ASCII characters as it confuses old hands.Gravatar David Aspinall2009-08-14
|
* Set version tag for new release.Gravatar David Aspinall2009-08-13
|
* Change centric->centredGravatar David Aspinall2009-08-13
|
* Document proof-strict-read-only='retract.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
|
* Updated.Gravatar David Aspinall2009-08-13
|
* Add indirection for setting unicode tokens variables to add customize menu ↵Gravatar David Aspinall2009-08-12
| | | | options
* unicode-tokens-list-tokens: change help docGravatar David Aspinall2009-08-12
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 19:45:39 +0000