aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Backquote syntax updated to defeat warnings, so not Emacs <19.29 compatibleGravatar David Aspinall2008-01-28
* Appearance is OK with NextStep Emacs.app.Gravatar David Aspinall2008-01-28
* Fix to proof-x-symbol-enable: only engage when indeed being turned on.Gravatar David Aspinall2008-01-28
* Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not boundGravatar David Aspinall2008-01-28
* Experimental features again only for pre-releases.Gravatar David Aspinall2008-01-28
* Maths menu works OK in Carbon EmacsGravatar David Aspinall2008-01-28
* Deleted fileGravatar David Aspinall2008-01-28
* Added displaying of the number of goals in the modeline.Gravatar Pierre Courtieu2008-01-28
* Add autoload for proof-unicode-tokens-shell-configGravatar David Aspinall2008-01-28
* Fixed indentation and goal display.Gravatar Pierre Courtieu2008-01-28
* Prevent prompt during compilationGravatar David Aspinall2008-01-28
* Add hooks for unicode tokens within proof shellGravatar David Aspinall2008-01-28
* Support decoding of unicode tokens in outputGravatar David Aspinall2008-01-28
* Allow decode/encode for read-only buffers. Fix map, case folding on replace.Gravatar David Aspinall2008-01-28
* Use buffer file format to code/decode.Gravatar David Aspinall2008-01-28
* Add shortcuts for tokens.Gravatar David Aspinall2008-01-28
* Add shortcuts for tokens to quail input method. Sketch of coding system.Gravatar David Aspinall2008-01-28
* unload-pg: Update featuresGravatar David Aspinall2008-01-28
* Fixed a problem with a wrong side effect on syntax databases (whenGravatar Pierre Courtieu2008-01-28
* Set version tag for new release.Gravatar David Aspinall2008-01-27
* Comment cleanupGravatar David Aspinall2008-01-27
* Updated.Gravatar David Aspinall2008-01-27
* Switch token table mapping destination from glyph names to unicode strings. ...Gravatar David Aspinall2008-01-27
* Fix startupGravatar David Aspinall2008-01-27
* Switch token table mapping destination from glyph names to unicode strings. A...Gravatar David Aspinall2008-01-27
* Updated.Gravatar David Aspinall2008-01-27
* Revert invisible behaviour for GNU Emacs 21.XGravatar David Aspinall2008-01-26
* Updated.Gravatar David Aspinall2008-01-26
* Deleted fileGravatar David Aspinall2008-01-26
* pg-clear-script-portions: fix handling of buffer-invisibility-specGravatar David Aspinall2008-01-25
* fixed usage: default for option -p is emacs, not xemacs;Gravatar Makarius Wenzel2008-01-25
* Missing quoteGravatar David Aspinall2008-01-25
* Updated.Gravatar David Aspinall2008-01-25
* Fix variable renameGravatar David Aspinall2008-01-25
* New files.Gravatar David Aspinall2008-01-25
* proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesGravatar David Aspinall2008-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
* Back patch for XEmacs 21.4 on API change to add-hook.Gravatar David Aspinall2008-01-25
* Back patch for XEmacs 21.4 on API change to add-hook.Gravatar David Aspinall2008-01-25
* split string on proof-rsh-commandGravatar David Aspinall2008-01-25
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
* Updated.Gravatar David Aspinall2008-01-25
* Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...Gravatar David Aspinall2008-01-25
* Updated.Gravatar David Aspinall2008-01-25
* Updated.Gravatar David Aspinall2008-01-25
* Add unicode-tokens-enableGravatar David Aspinall2008-01-25
* Commentary: move compile notes to etc/development-tips.txtGravatar David Aspinall2008-01-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 15:31:17 +0000