aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* 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
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 14:54:22 +0000