aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-05-16Clean up customization groups for defpacustom and defpgcustom. See ↵David Aspinall
http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html.
2011-05-12Set version tag for new release.David Aspinall
2011-05-12Update docstring magicDavid Aspinall
2011-05-12Update autoloadsDavid Aspinall
2011-05-12Tweak for `proof-segment-up-to-using-cache': better handling ofDavid Aspinall
proof-last-edited-low-watermark.
2011-05-12Attempted fix for `proof-segment-up-to-using-cache', reDavid Aspinall
http://proofgeneral.inf.ed.ac.uk/trac/ticket/395
2011-05-12- add test coq/ex/test-cases/change-ancestor for theHendrik Tews
change-ancestor bug
2011-05-12- add ".vo", ".glob" to completion-ignored-extensions when ProofHendrik Tews
General is loaded
2011-05-06Version yearDavid Aspinall
2011-05-06CheckdocDavid Aspinall
2011-05-05Fix emailsDavid Aspinall
2011-05-05Remove mention of dviDavid Aspinall
2011-05-05Set version tag for new release.David Aspinall
2011-05-05Restore front page scary image. Update datesDavid Aspinall
2011-05-05Update dates.David Aspinall
2011-05-05Restore scary front page image. Add credits.David Aspinall
2011-05-05Clean up and remove obsolete dvi targets.David Aspinall
2011-05-05Recreate jpg from old front page image (spending some bytes)David Aspinall
2011-05-05Replace proof-boring-face -> isabelle-quote-face, reported onDavid Aspinall
Isabelle-users list by Peter Lammich.
2011-05-05- flushed proof-done-advancing-require-function andHendrik Tews
proof-shell-require-command-regexp - TAGS updated to really flush them
2011-04-28Fix Make pkg in case package name same as release name.David Aspinall
2011-04-28Add rcs2log options suggested by HendrikDavid Aspinall
2011-04-27update Hendrik's personal issue listHendrik Tews
2011-04-26Set version tag for new release.David Aspinall
2011-04-26Update magic, tweak Makefile to make sure magic uses source .elsDavid Aspinall
2011-04-26Updated.David Aspinall
2011-04-26Fix compileDavid Aspinall
2011-04-26Fix so that make test.coq runs successfully.David Aspinall
2011-04-26Clean up some defcustom docstrings (remove *'s)David Aspinall
2011-04-26Patch: font-lock-beginning-of-syntax-function -> syntax-begin-function to ↵David Aspinall
work with Emacs 23.3. May break work with earlier versions.
2011-04-26Fix for Trac #397. Needs some exercise.David Aspinall
2011-04-19* small doc fixHendrik Tews
2011-04-18DocstringDavid Aspinall
2011-04-15* fix coq-show-first-goal changing the current bufferHendrik Tews
2011-04-15* fix overwriting setq coq-prog-name before loading Proof GeneralHendrik Tews
* more complete callback listing in proof-action list doc
2011-04-13proof-shell-insert-hook: Clean docstring, addressing #396.David Aspinall
2011-04-13UpdatedDavid Aspinall
2011-04-13Add proof-output-tooltips option to turn off output highlighting for people ↵David Aspinall
who read or edit by waving mouse at text
2011-04-12typoDavid Aspinall
2011-04-06* disable file safe when switching to new buffers for coqHendrik Tews
2011-03-14- change to proof-restart-buffers for unlocking ancestorsHendrik Tews
- improve internal docs for unlocking
2011-03-09Set version tag for new release.David Aspinall
2011-02-28- fixed XXX'es in coq.elHendrik Tews
2011-02-28- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-docHendrik Tews
2011-02-23Set version tag for new release.David Aspinall
2011-02-23Support delete selection mode on remapped delete commandsDavid Aspinall
Update some of font alias choices.
2011-02-18- deleted old coq multiple file stuffHendrik Tews
2011-02-14put coq compilation feature into coq settings menuHendrik Tews
2011-02-02- properly display compilation error messages and enable M-xHendrik Tews
next-error (as far as possible)
2011-01-31Update with files from Isabelle2011 (no actual changes).David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 13:05:59 +0000