aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* Missing backslashes.Gravatar David Aspinall2008-02-17
* Experimental use of fonts for \<AA> etc. Disable some contentious shortcutsGravatar David Aspinall2008-02-17
* Remove isar-activate-scripting, which was identical to defaultGravatar David Aspinall2008-02-17
* Set proof-shell-eager-annotation-start-length=2. This should have beenGravatar David Aspinall2008-02-17
* tuned comment;Gravatar Makarius Wenzel2008-02-13
* accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;Gravatar Makarius Wenzel2008-02-06
* Remove ligature/latin1 symbols. Trim short cutsGravatar David Aspinall2008-02-05
* Disable warnings.Gravatar David Aspinall2008-02-04
* Support Isabelle control sequences for subscripts/superscriptsGravatar David Aspinall2008-02-04
* Add mode documentationGravatar David Aspinall2008-02-04
* Go back to isabellesym.sty as master symbol listGravatar David Aspinall2008-02-04
* Updated.Gravatar David Aspinall2008-01-31
* Update maintainers to add back the key person, 8-).Gravatar David Aspinall2008-01-31
* Harmonise a bit more with X-Symbols. Add customization facilityGravatar David Aspinall2008-01-30
* isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.Gravatar David Aspinall2008-01-29
* Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac ...Gravatar David Aspinall2008-01-29
* Switch to fake long symbolsGravatar David Aspinall2008-01-28
* Prevent prompt during compilationGravatar David Aspinall2008-01-28
* Add hooks for unicode tokens within proof shellGravatar David Aspinall2008-01-28
* Add shortcuts for tokens.Gravatar David Aspinall2008-01-28
* Switch token table mapping destination from glyph names to unicode strings. ...Gravatar David Aspinall2008-01-27
* fixed usage: default for option -p is emacs, not xemacs;Gravatar Makarius Wenzel2008-01-25
* Fix previous change.Gravatar David Aspinall2008-01-25
* Make isatool usage (view doc) compatible with proof-rsh-command.Gravatar David Aspinall2008-01-25
* Make isatool usage compatible with proof-rsh-command.Gravatar David Aspinall2008-01-25
* New files.Gravatar David Aspinall2008-01-25
* Remove use of proof-assGravatar David Aspinall2008-01-24
* Add key binding for ML {* *} and fix longsuper, longsubGravatar David Aspinall2008-01-24
* Updated.Gravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-16
* Default to using emacs nowGravatar David Aspinall2008-01-15
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Move x-symbol-isabelle -> x-symbol-isar to simplify setup.Gravatar David Aspinall2007-12-14
* Deleted fileGravatar David Aspinall2007-12-14
* Typo in pg-special-char-regexpGravatar David Aspinall2007-12-14
* x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes depende...Gravatar David Aspinall2007-12-14
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Improve loading; these tests are not functioning yetGravatar David Aspinall2007-12-14
* Make value of pg-special-char-regexp depend on proof-shell-unicode.Gravatar David Aspinall2007-12-14
* Cleanup. Add more insertion commands.Gravatar David Aspinall2007-12-13
* Deleted fileGravatar David Aspinall2007-12-13
* Comment unused functionGravatar David Aspinall2007-12-09
* clarify that -U now defaults to true;Gravatar Makarius Wenzel2007-11-20
* command 'thm' makes no sense outside a proper context;Gravatar Makarius Wenzel2007-11-13
* VersionsGravatar David Aspinall2007-11-12
* proof-shell-issue-pgip-cmd is always isabelle-process-pgip;Gravatar Makarius Wenzel2007-10-24
* removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Gravatar Makarius Wenzel2007-10-24
* isar-find-and-forget: no special treatment of begin/end, just plain undoGravatar Makarius Wenzel2007-10-18
* isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;Gravatar Makarius Wenzel2007-10-18
* allow more specials: oct 327 .. oct 340;Gravatar Makarius Wenzel2007-09-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 03:10:22 +0000