aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2009-08-19Enhance command markup to pass position information. Extend defaults for ↵David Aspinall
response/goals font-lock keywords.
2009-08-19*** empty log message ***David Aspinall
2009-08-19Bump yearDavid Aspinall
2009-08-18Hints about setting position in commandDavid Aspinall
2009-08-18NoteDavid Aspinall
2009-08-18First attempt at command wrapping (see ↵David Aspinall
http://proofgeneral.inf.ed.ac.uk/trac/ticket/199)
2009-08-17Set version tag for new release.David Aspinall
2009-08-17Move proof-interrupt-process to proof-shell. Add pending interrupt ↵David Aspinall
behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
2009-08-17TidyDavid Aspinall
2009-08-17Update some examplesDavid Aspinall
2009-08-17TidyDavid Aspinall
2009-08-17Fix proof-next-error key bindingDavid Aspinall
2009-08-17isar-syntactic-context: tweak (still not perfect, loses between "--" and ↵David Aspinall
string start)
2009-08-17isar-syntactic-context: fix calls to re-search-backwardDavid Aspinall
2009-08-17Update docDavid Aspinall
2009-08-17Updated.David Aspinall
2009-08-17proof-looking-at-syntactic-context: add doc. Update doc/names of proof ↵David Aspinall
shell filter functions.
2009-08-17proof-looking-at-syntactic-context: allow proof assistantDavid Aspinall
version to override default.
2009-08-17isar-syntactic-context: modify proof-looking-at-syntactic-context to allowDavid Aspinall
recognition of terminating comment strings.
2009-08-17Only move proof-overlay-arrow once it's got a position.David Aspinall
2009-08-17New files.David Aspinall
2009-08-17Renamed fileDavid Aspinall
2009-08-17Move the overlay arrow backwards in case of edits above it whichDavid Aspinall
affect the next position to be processed.
2009-08-17Minor changes from Stefan Monnier's patchDavid Aspinall
2009-08-14Start refactoring to support more sophisticated queue handling, by adding ↵David Aspinall
flags to proof action list
2009-08-14pg-last-output-displayform: add convenience functionDavid Aspinall
2009-08-14Add key binding for proof-query-identifierDavid Aspinall
2009-08-14pg-current-word-pos: add for convenience in identifier query functionDavid Aspinall
2009-08-14Set proof-query-identifier-command in right place.David Aspinall
2009-08-14Tweak pg-identifier-near-point-query to add decoration to buffer.David Aspinall
2009-08-14Rename proof-shell-process-output -> proof-shell-classify-outputDavid Aspinall
2009-08-14Add identifier info command to toolbarDavid Aspinall
2009-08-14Add info command to toolbar, and re-enable command, interrupt, restart.David Aspinall
2009-08-14isar-output-font-lock-keywords-1: enable display of ? and ' againDavid Aspinall
2009-08-14Do not hide the spurious ASCII characters as it confuses old hands.David Aspinall
2009-08-13Set version tag for new release.David Aspinall
2009-08-13Change centric->centredDavid Aspinall
2009-08-13Document proof-strict-read-only='retract.David Aspinall
2009-08-13Add parser cache for proof-segment-up-to.David Aspinall
2009-08-13Add menu setting to set proof-strict-read-only to 'retractDavid Aspinall
2009-08-13proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.David Aspinall
2009-08-13Updated.David Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu ↵David Aspinall
options
2009-08-12unicode-tokens-list-tokens: change help docDavid Aspinall
2009-08-07Remove experimental features nodeDavid Aspinall
2009-08-07Set version tag for new release.David Aspinall
2009-08-07UpdateDavid Aspinall
2009-08-07Remove experimental setting. Define toggle function.David Aspinall
2009-08-07proof-full-annotation: change defaultDavid Aspinall
2009-08-07Fix parenoDavid Aspinall