aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* 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
* Require unicode-tokens during compile.Gravatar 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
* Isabelle->isabelle binary. Remove Isar homepage.Gravatar David Aspinall2009-09-07
* isar-preprocessing: remove unnecessary save-match-data.Gravatar David Aspinall2009-09-07
* Remove \t in \<inverse> expansion.Gravatar David Aspinall2009-09-07
* Remove \t in \<module> expansion.Gravatar David Aspinall2009-09-07
* Remove unused subterm markup codeGravatar David Aspinall2009-09-06
* Configuration changes for shell mode revision.Gravatar David Aspinall2009-09-06
* Fix defcustom typesGravatar David Aspinall2009-09-05
* Separate standard tokens from extended set. Add missing compositions. Set ...Gravatar David Aspinall2009-09-05
* More sensible message for file dialogGravatar David Aspinall2009-09-05
* Updated from Isabelle2009Gravatar David Aspinall2009-09-05
* Add shortcuts for (| and |).Gravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Add bug refGravatar David Aspinall2009-09-05
* Add custom groupGravatar David Aspinall2009-09-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 10:20:12 +0000