aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* proof-script-use-old-parser: remove configuration option and cleanupGravatar David Aspinall2009-10-15
* UpdatedGravatar David Aspinall2009-10-15
* Keep response and trace buffer read-only, except when changingGravatar David Aspinall2009-10-15
* proof-script-error-face: remove underlineGravatar David Aspinall2009-10-15
* Added keyboard shortcut in goals buffer.Gravatar Pierre Courtieu2009-10-15
* Remove `next-entity' settings for func-menu.Gravatar David Aspinall2009-10-14
* Remove function-menu settingGravatar David Aspinall2009-10-14
* Remove function-menu as promisedGravatar David Aspinall2009-10-14
* named entity needed for goal-with-holeGravatar David Aspinall2009-10-14
* Remove fume settingsGravatar David Aspinall2009-10-14
* WhitespaceGravatar David Aspinall2009-10-14
* Shorten commentsGravatar David Aspinall2009-10-14
* Set version tag for new release.Gravatar David Aspinall2009-10-06
* Start using new parser, adjusting isar-any-command-regexp.Gravatar David Aspinall2009-10-03
* proof-regexp-alt: use shy matchingGravatar David Aspinall2009-10-03
* proof-electric-terminator: check if inside a string/comment.Gravatar David Aspinall2009-10-03
* proof-script-generic-parse-cmdstart: set case-fold-searchGravatar David Aspinall2009-10-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 02:42:26 +0000