aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar.el
Commit message (Expand)AuthorAge
* Fix for matching names in regexps, restores behaviour of name-aware code such...Gravatar David Aspinall2010-08-02
* isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
* removed some old commands;Gravatar Makarius Wenzel2010-06-29
* additional menu entries;Gravatar Makarius Wenzel2009-11-26
* menu items for atp_info, atp_kill;Gravatar Makarius Wenzel2009-10-21
* disable indent-tabs-mode for theory mode;Gravatar Makarius Wenzel2009-10-17
* Remove function-menu settingGravatar David Aspinall2009-10-14
* Start using new parser, adjusting isar-any-command-regexp.Gravatar David Aspinall2009-10-03
* Functions find-and-forget and count-undos now return lists of commandsGravatar David Aspinall2009-09-28
* display_drafts, print_drafts: query to save bufferGravatar David Aspinall2009-09-27
* Fix compile errorsGravatar David Aspinall2009-09-15
* Add outline-heading-alist setting. Fix compilation.Gravatar David Aspinall2009-09-14
* Rename mode namesGravatar David Aspinall2009-09-14
* Typo in var name: fixes toggling of use-linear-undo.Gravatar David Aspinall2009-09-10
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Support linear_undo. Add minimal font-lock for readability in *isabelle*.Gravatar David Aspinall2009-09-09
* Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...Gravatar David Aspinall2009-09-08
* Fix proof-shell-trace-output-regexp: match on annotation \^AI now tooGravatar David Aspinall2009-09-07
* Revert change in 10.26 to use defpacustom after all, this givesGravatar David Aspinall2009-09-07
* Fix initialisation of isar-use-find-theorems-form in compiled file.Gravatar David Aspinall2009-09-07
* Fix compiler warningsGravatar David Aspinall2009-09-07
* isar-use-find-theorems-form: use defcustom, not defpacustomGravatar David Aspinall2009-09-07
* isar-preprocessing: remove unnecessary save-match-data.Gravatar David Aspinall2009-09-07
* Configuration changes for shell mode revision.Gravatar David Aspinall2009-09-06
* Add bug refGravatar David Aspinall2009-09-05
* Add option to do command wrappingGravatar David Aspinall2009-09-04
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* Doc fixesGravatar David Aspinall2009-08-31
* Prevent reporting column number back to Isabelle processGravatar David Aspinall2009-08-31
* Quick fix to isar-remove-file, see trac #274Gravatar David Aspinall2009-08-31
* isar-positions-of: skip whitespace before command startGravatar David Aspinall2009-08-29
* isar-nonwrap-regexp: ML should work (note that there are *many* ML commands);Gravatar Makarius Wenzel2009-08-28
* Fix compile warningsGravatar David Aspinall2009-08-28
* CommentsGravatar David Aspinall2009-08-28
* Add menu entry for setting proof assistant commandGravatar David Aspinall2009-08-25
* Enhance command markup to pass position information. Extend defaults for res...Gravatar David Aspinall2009-08-19
* Hints about setting position in commandGravatar David Aspinall2009-08-18
* First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/...Gravatar David Aspinall2009-08-18
* TidyGravatar David Aspinall2009-08-17
* Set proof-query-identifier-command in right place.Gravatar David Aspinall2009-08-14
* Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-commandGravatar David Aspinall2009-08-07
* Add configuration setting for Find Theorems formGravatar David Aspinall2009-08-06
* Set strip-output-function for pasting. Adjust font-lock handling toGravatar David Aspinall2009-05-26
* Add proof-electric-terminator-noterminator behaviour for IsarGravatar David Aspinall2009-05-26
* Rename isatool -> isabelleGravatar David Aspinall2009-05-26
* eliminated obsolete non-ASCII specials;Gravatar Makarius Wenzel2009-03-31
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Use proof-guess-command-line to adjust command line when starting Isabelle.Gravatar David Aspinall2008-07-10
* Start to rationalise setting for proof-prog-name.Gravatar David Aspinall2008-07-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 07:28:08 +0000