aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
...
* 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
* Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...Gravatar David Aspinall2009-08-17
* TidyGravatar 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
* isar-syntactic-context: modify proof-looking-at-syntactic-context to allowGravatar David Aspinall2009-08-17
* Set proof-query-identifier-command in right place.Gravatar David Aspinall2009-08-14
* isar-output-font-lock-keywords-1: enable display of ? and ' againGravatar David Aspinall2009-08-14
* Do not hide the spurious ASCII characters as it confuses old hands.Gravatar David Aspinall2009-08-14
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* 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
* ISABELLE_TOOL refers to "isabelle" tool wrapper;Gravatar Makarius Wenzel2009-07-29
* more robust treatment of options and arguments (via arrays and special @ expa...Gravatar Makarius Wenzel2009-05-30
* Revert "logic" fix.Gravatar David Aspinall2009-05-26
* More isatool->isabelle renamings and an (old) logic fixGravatar David Aspinall2009-05-26
* Correct Unicode supportGravatar David Aspinall2009-05-26
* Update version, latest only.Gravatar David Aspinall2009-05-26
* Remove yank-handler experiment, in favour of buffer-substring-filtersGravatar David Aspinall2009-05-26
* isar-strip-output-markup: simple output markup strippingGravatar David Aspinall2009-05-26
* 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
* Hide goals marker start again (Isabelle2009 doesn't markup subgoals)Gravatar David Aspinall2009-05-26
* Rename isatool -> isabelleGravatar David Aspinall2009-05-26
* Add highlighting for sendbackGravatar David Aspinall2009-05-26
* isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...Gravatar Makarius Wenzel2009-03-31
* eliminated obsolete non-ASCII specials;Gravatar Makarius Wenzel2009-03-31
* Linear undo commandGravatar David Aspinall2008-12-05
* Hyphen instead of emdash in faked longleftarrowGravatar David Aspinall2008-12-05
* Fix by Stephan HoheGravatar David Aspinall2008-09-18
* Fix tokensGravatar David Aspinall2008-08-03
* Updated.Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Add lbrace, rbraceGravatar David Aspinall2008-07-19
* Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourGravatar David Aspinall2008-07-18
* Remove use of :help for menu tooltips- GNU Emacs only.Gravatar David Aspinall2008-07-16
* Deleted fileGravatar David Aspinall2008-07-16
* backport of recent changes to isar-unicode-tokens.el:Gravatar Makarius Wenzel2008-07-11
* Add hook for hack-local-variables-hook to give warning about chosen logic cha...Gravatar David Aspinall2008-07-10
* Use proof-guess-command-line to adjust command line when starting Isabelle.Gravatar David Aspinall2008-07-10
* removed obsolete comment;Gravatar Makarius Wenzel2008-07-10
* Start to rationalise setting for proof-prog-name.Gravatar David Aspinall2008-07-10
* more precise regexps isar-token-match, isar-control-token-match;Gravatar Makarius Wenzel2008-07-09
* isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expe...Gravatar Makarius Wenzel2008-07-07
* isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a partic...Gravatar Makarius Wenzel2008-07-07
* unicode shortcut alist: literal backslash instead of strange control sequence...Gravatar Makarius Wenzel2008-07-07
* defface: using proof-face-specs makes faces appear on non-X11 window systems ...Gravatar Makarius Wenzel2008-07-07
* Add back |-> shortcutGravatar David Aspinall2008-07-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 06:48:48 +0000