aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2009-12-01
* Added spanning identifier supers/subsGravatar David Aspinall2009-12-01
* isar-control-char-format-regexp: correct to only affect next char/symbolGravatar David Aspinall2009-12-01
* Remove mention of `proof-script-use-old-parser'.Gravatar David Aspinall2009-12-01
* isabelle-set-prog-name: avoid calling split-string with nil arg.Gravatar David Aspinall2009-12-01
* Add some examples of longer subscriptsGravatar David Aspinall2009-12-01
* proof-splice-separator -> mapconcat builtinGravatar David Aspinall2009-12-01
* UpdateGravatar David Aspinall2009-12-01
* Add test caseGravatar David Aspinall2009-12-01
* isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching insideGravatar David Aspinall2009-12-01
* Add keywords for possible benefit of finder package.Gravatar David Aspinall2009-12-01
* proof-ids-to-regexp: use regexp-opt, this seems reliable now.Gravatar David Aspinall2009-12-01
* Explain fontsets for Emacs 22Gravatar David Aspinall2009-12-01
* CleanGravatar David Aspinall2009-12-01
* typoGravatar David Aspinall2009-12-01
* fix proof-splice-separatorGravatar David Aspinall2009-12-01
* Add some more examples and syntax declarations to actuallyGravatar David Aspinall2009-12-01
* isar-control-char-format-regexp: prevent subsequent control chars being capturedGravatar David Aspinall2009-12-01
* Fix for Trac #307.Gravatar David Aspinall2009-11-30
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast*...Gravatar Makarius Wenzel2009-11-30
* Updates to internal function docsGravatar David Aspinall2009-11-29
* Update menu paths and faces.Gravatar David Aspinall2009-11-29
* pg-pbrpm-run-command: use proof-insert-pbp-commandGravatar David Aspinall2009-11-29
* raised proof-shell-quit-timeout to accomodate bulky write-back images;Gravatar Makarius Wenzel2009-11-29
* isabelle-set-prog-name: more robust treatment of spaces in arguments;Gravatar Makarius Wenzel2009-11-28
* *** empty log message ***Gravatar David Aspinall2009-11-28
* Add new option `proof-sticky-errors'.Gravatar David Aspinall2009-11-28
* Remove doc mention of obsolete function `pg-assoc-analyse-structure'.Gravatar David Aspinall2009-11-28
* Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'.Gravatar David Aspinall2009-11-28
* Add `proof-script-sticky-error-face' and `proof-sticky-errors' setting.Gravatar David Aspinall2009-11-28
* additional menu entries;Gravatar Makarius Wenzel2009-11-26
* reverse settings within each group, to prevent upside-down presentation;Gravatar Makarius Wenzel2009-11-24
* define isar-pr as load-time constant;Gravatar Makarius Wenzel2009-11-24
* Use ProofGeneral.pr if available. See Trac #292.Gravatar David Aspinall2009-11-23
* tvar font-lock: allow more than one ? (as in inference parameter ??'a);Gravatar Makarius Wenzel2009-11-21
* more robust THIS/SUPER: allow spaces;Gravatar Makarius Wenzel2009-11-21
* Small Fix (again).Gravatar Pierre Courtieu2009-11-20
* Small Fix.Gravatar Pierre Courtieu2009-11-20
* Set version tag for new release.Gravatar David Aspinall2009-11-12
* Fix.Gravatar Pierre Courtieu2009-11-11
* fixGravatar Pierre Courtieu2009-11-10
* Fixing insertion case for c-c c-a c-i + cleaning.Gravatar Pierre Courtieu2009-11-10
* menu items for atp_info, atp_kill;Gravatar Makarius Wenzel2009-10-21
* disable indent-tabs-mode for theory mode;Gravatar Makarius Wenzel2009-10-17
* Mention bugs with Coq script management.Gravatar David Aspinall2009-10-16
* Set version tag for new release.Gravatar David Aspinall2009-10-16
* Add pointerGravatar David Aspinall2009-10-16
* *** empty log message ***Gravatar David Aspinall2009-10-16
* Patch from mattmccutchen, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/297Gravatar David Aspinall2009-10-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 01:37:29 +0000