aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* New files.Gravatar David Aspinall2008-07-10
* Use proof-guess-command-line to adjust command line when starting Isabelle.Gravatar David Aspinall2008-07-10
* Updated.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
* Minimal patch for Sledgehammer problem with Isabelle.Gravatar David Aspinall2008-07-10
* Add isub and isup to unicode-tokens-annotation-control-token-alistGravatar David Aspinall2008-07-10
* Reverse 8.28, buffer-substring-no-properties -> buffer-substring.Gravatar David Aspinall2008-07-10
* cover isup as well;Gravatar Makarius Wenzel2008-07-09
* more precise regexps isar-token-match, isar-control-token-match;Gravatar Makarius Wenzel2008-07-09
* Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...Gravatar David Aspinall2008-07-09
* Set version tag for new release.Gravatar David Aspinall2008-07-08
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 02:04:28 +0000