aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* Fix requireGravatar David Aspinall2009-09-04
* Add option to do command wrappingGravatar David Aspinall2009-09-04
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Add text_rawGravatar David Aspinall2009-09-04
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* Remove objectionable |> shortcut for Isar hackersGravatar David Aspinall2009-09-03
* output-font-lock-keywords: remove unnecessary bracketsGravatar David Aspinall2009-09-03
* Fix font-lock output keywords for tvars starting ?'Gravatar David Aspinall2009-09-03
* Isabelle2008 compatibility;Gravatar Makarius Wenzel2009-09-02
* proper backslash escape;Gravatar Makarius Wenzel2009-09-02
* Doc fixesGravatar David Aspinall2009-08-31
* Prevent reporting column number back to Isabelle processGravatar David Aspinall2009-08-31
* Merge in Isar and Coq bugsGravatar David Aspinall2009-08-31
* Quick fix to isar-remove-file, see trac #274Gravatar David Aspinall2009-08-31
* Add custom docGravatar David Aspinall2009-08-31
* isar-symbol-shortcuts: add customizationGravatar David Aspinall2009-08-31
* Remove over-enthusiastic single-character shortcutsGravatar David Aspinall2009-08-31
* Disable large symbol font for nowGravatar David Aspinall2009-08-31
* Support dynamic customization. Add additional shortcuts handy for symbolizing...Gravatar David Aspinall2009-08-30
* 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
* Move fontsymb properties to library file.Gravatar David Aspinall2009-08-28
* Doc: pointer to TokensAcidGravatar David Aspinall2009-08-28
* CommentsGravatar David Aspinall2009-08-28
* Add menu entry for setting proof assistant commandGravatar David Aspinall2009-08-25
* less ambitious array operations -- for improved compatibility with older vers...Gravatar Makarius Wenzel2009-08-22
* Remove spurious junk.Gravatar David Aspinall2009-08-20
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 00:07:19 +0000