aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2009-08-28
* Doc fixGravatar David Aspinall2009-08-28
* Disable "Set fontsets" sub menu for new EmacsenGravatar David Aspinall2009-08-28
* Attempt to duplicate Dixon bugGravatar David Aspinall2009-08-28
* Set version tag for new release.Gravatar David Aspinall2009-08-28
* Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...Gravatar David Aspinall2009-08-28
* Temporary note of property merging problemsGravatar David Aspinall2009-08-28
* Property merging now works with tweaks in unicode-tokensGravatar David Aspinall2009-08-28
* Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref)Gravatar David Aspinall2009-08-28
* Clean up and rearrange variable declaration filesGravatar David Aspinall2009-08-28
* CommentsGravatar David Aspinall2009-08-28
* Enhanced font setting mechanism: allow a separate font for symbols,Gravatar David Aspinall2009-08-28
* Add recommendation for DejaVu fonts. Update magic.Gravatar David Aspinall2009-08-25
* Add menu entry for setting proof assistant commandGravatar David Aspinall2009-08-25
* less ambitious array operations -- for improved compatibility with older vers...Gravatar Makarius Wenzel2009-08-22
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* 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
* Remove spurious junk.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
* 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 proo...Gravatar David Aspinall2009-08-19
* 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 res...Gravatar David Aspinall2009-08-19
* *** 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 http://proofgeneral.inf.ed.ac.uk/trac/...Gravatar 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
* 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 stri...Gravatar David Aspinall2009-08-17
* 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 shell...Gravatar David Aspinall2009-08-17
* proof-looking-at-syntactic-context: allow proof assistantGravatar David Aspinall2009-08-17
* isar-syntactic-context: modify proof-looking-at-syntactic-context to allowGravatar David Aspinall2009-08-17
* 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
* Minor changes from Stefan Monnier's patchGravatar David Aspinall2009-08-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 08:49:50 +0000