aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-08-25Add menu entry for setting proof assistant commandDavid Aspinall
2009-08-22less ambitious array operations -- for improved compatibility with older vers...Makarius Wenzel
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-20proof-one-command-per-line: change default, use in proof-insert-pbp-command.David Aspinall
2009-08-20Remove spurious junk.David Aspinall
2009-08-20Documentation improvements.David Aspinall
2009-08-20proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsDavid Aspinall
2009-08-20Remove obsolete file mentionDavid Aspinall
2009-08-20Don't make link to index.htmlDavid Aspinall
2009-08-19proof-shell-insert: add scriptspan argument, to pass source positions to proo...David Aspinall
2009-08-19DocstringsDavid Aspinall
2009-08-19proof-splice-separator: ignore nil entries for convenienceDavid Aspinall
2009-08-19Enhance command markup to pass position information. Extend defaults for res...David Aspinall
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 http://proofgeneral.inf.ed.ac.uk/trac/...David Aspinall
2009-08-17Set version tag for new release.David Aspinall
2009-08-17Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...David Aspinall
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 stri...David Aspinall
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 shell...David Aspinall
2009-08-17proof-looking-at-syntactic-context: allow proof assistantDavid Aspinall
2009-08-17isar-syntactic-context: modify proof-looking-at-syntactic-context to allowDavid Aspinall
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
2009-08-17Minor changes from Stefan Monnier's patchDavid Aspinall
2009-08-14Start refactoring to support more sophisticated queue handling, by adding fla...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 12:21:23 +0000