aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Collapse)AuthorAge
* Add lbrace, rbraceGravatar David Aspinall2008-07-19
|
* Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourGravatar David Aspinall2008-07-18
| | | | with cut-and-paste and when typing tokens directly. Trac#223.
* 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
| | | | | | | more precise regexps isar-token-match, isar-control-token-match; isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects; isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle; add back |-> shortcut;
* Add hook for hack-local-variables-hook to give warning about chosen logic ↵Gravatar David Aspinall2008-07-10
| | | | change. Also logic menu tooltips.
* 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 ↵Gravatar Makarius Wenzel2008-07-07
| | | | expects;
* isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a ↵Gravatar Makarius Wenzel2008-07-07
| | | | particular meaning in Isabelle;
* unicode shortcut alist: literal backslash instead of strange control ↵Gravatar Makarius Wenzel2008-07-07
| | | | sequence, e.g. "\\nat" instead of "\nat";
* defface: using proof-face-specs makes faces appear on non-X11 window systems ↵Gravatar Makarius Wenzel2008-07-07
| | | | as well;
* Add back |-> shortcutGravatar David Aspinall2008-07-05
|
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
|
* proper indentation;Gravatar Makarius Wenzel2008-03-14
|
* 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
| | | | when ASCII scheme was introduced. Messages may be lost otherwise.
* 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
| | | | #183, #186. See #190
* 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
| | | | Generate from Isabelle.sym
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 19:59:34 +0000