aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-08-28Move fontsymb properties to library file.David Aspinall
2009-08-28Add convenience function for profilingDavid Aspinall
2009-08-28Add a fontDavid Aspinall
2009-08-28Extend the available types of controls. Move fontsymb-properties here. Pret...David Aspinall
2009-08-28Doc: pointer to TokensAcidDavid Aspinall
2009-08-28Add more commentary and new control examplesDavid Aspinall
2009-08-28Updated.David Aspinall
2009-08-28Doc fixDavid Aspinall
2009-08-28Disable "Set fontsets" sub menu for new EmacsenDavid Aspinall
2009-08-28Attempt to duplicate Dixon bugDavid Aspinall
2009-08-28Set version tag for new release.David Aspinall
2009-08-28Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...David Aspinall
2009-08-28Temporary note of property merging problemsDavid Aspinall
2009-08-28Property merging now works with tweaks in unicode-tokensDavid Aspinall
2009-08-28Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref)David Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
2009-08-28CommentsDavid Aspinall
2009-08-28Enhanced font setting mechanism: allow a separate font for symbols,David Aspinall
2009-08-25Add recommendation for DejaVu fonts. Update magic.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 22:33:03 +0000