aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* Set version tag for new release.Gravatar David Aspinall2008-07-07
* defface: using proof-face-specs makes faces appear on non-X11 window systems ...Gravatar Makarius Wenzel2008-07-07
* New files.Gravatar David Aspinall2008-07-06
* Set version tag for new release.Gravatar David Aspinall2008-07-06
* Deleted fileGravatar David Aspinall2008-07-05
* Set version tag for new release.Gravatar David Aspinall2008-07-05
* Clarify unimplemented settingsGravatar David Aspinall2008-07-05
* Add use-holes setting.Gravatar David Aspinall2008-07-05
* Remove faulty testGravatar David Aspinall2008-07-05
* Add back |-> shortcutGravatar David Aspinall2008-07-05
* Revert cursor hide in goals and response to avoid user confusion; use bar cur...Gravatar David Aspinall2008-07-05
* Trac regressionsGravatar David Aspinall2008-07-05
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
* Add customization for use of image converter, default to disable.Gravatar David Aspinall2008-07-05
* obsolete;Gravatar Makarius Wenzel2008-06-14
* Fixed example file for utf8.Gravatar Pierre Courtieu2008-06-06
* Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUTGravatar Pierre Courtieu2008-06-06
* Raised coq undo stack size.Gravatar Pierre Courtieu2008-06-06
* Fixed a bug in coq guessing of command lineGravatar Pierre Courtieu2008-05-30
* Set version tag for new release.Gravatar David Aspinall2008-05-26
* UpdatedGravatar David Aspinall2008-05-26
* Fixed a bug with abbrev table definition.Gravatar Pierre Courtieu2008-05-22
* Fixed a bug with local variable setting.Gravatar Pierre Courtieu2008-05-22
* Fixed a bug with coq-prog-name.Gravatar Pierre Courtieu2008-05-20
* Small fix with response buffer scrolling.Gravatar Pierre Courtieu2008-04-11
* proper indentation;Gravatar Makarius Wenzel2008-03-14
* fixed syntax table + thing-at-point.Gravatar Pierre Courtieu2008-03-05
* Remove junkGravatar David Aspinall2008-02-17
* Updated.Gravatar David Aspinall2008-02-17
* Docstring with keymapGravatar David Aspinall2008-02-17
* Set version tag for new release.Gravatar David Aspinall2008-02-17
* Symmetric change for #201Gravatar David Aspinall2008-02-17
* Updated.Gravatar David Aspinall2008-02-17
* Add item for #204Gravatar David Aspinall2008-02-17
* Add item for #204Gravatar David Aspinall2008-02-17
* Add undo-depth setting and default it to 200, overriding Coq's 100 default.Gravatar David Aspinall2008-02-17
* New files.Gravatar David Aspinall2008-02-17
* Updated.Gravatar David Aspinall2008-02-17
* Comments.Gravatar David Aspinall2008-02-17
* 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
* Add serif token matchGravatar David Aspinall2008-02-17
* Fix clash with X-Symbol resulting in enabling then disabling symbolsGravatar David Aspinall2008-02-17
* Remove left over propertise experiment call; fixes #202Gravatar David Aspinall2008-02-17
* unicode-tokens: Experimental multiple font supportGravatar David Aspinall2008-02-17
* Set proof-shell-eager-annotation-start-length=2. This should have beenGravatar David Aspinall2008-02-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 12:31:42 +0000