aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Remove zip from distribution, only use tgzGravatar David Aspinall2008-01-30
* Set version tag for new release.Gravatar David Aspinall2008-01-30
* Comment cleanups. buffer-substring -> buffer-substring-no-properties.Gravatar David Aspinall2008-01-30
* Update yearGravatar David Aspinall2008-01-30
* coq : sorry, reverting previous buggy customizationGravatar Assia Mahboubi2008-01-30
* Documentation.Gravatar David Aspinall2008-01-30
* Update magicGravatar David Aspinall2008-01-30
* Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).Gravatar David Aspinall2008-01-30
* New files.Gravatar David Aspinall2008-01-30
* Harmonise a bit more with X-Symbols. Add customization facilityGravatar David Aspinall2008-01-30
* Support dynamically changing short-cut listGravatar David Aspinall2008-01-30
* Add docstringsGravatar David Aspinall2008-01-30
* PG taglineGravatar David Aspinall2008-01-30
* Comment about maths menuGravatar David Aspinall2008-01-30
* Comments re trac #187Gravatar David Aspinall2008-01-30
* Documentation.Gravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
* Update magicGravatar David Aspinall2008-01-30
* Update credits and add section on Unicode supportGravatar David Aspinall2008-01-30
* Load unicode-tokens.elGravatar David Aspinall2008-01-30
* Update doc on token input method. Merge README.exper.Gravatar David Aspinall2008-01-30
* Added a boolean defcustom test to make optional the highlight of variablesGravatar Assia Mahboubi2008-01-30
* coq : changing highlight of solve, adding ExportGravatar Assia Mahboubi2008-01-30
* Disable experimental features, finally.Gravatar David Aspinall2008-01-30
* Deleted fileGravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
* Deleted fileGravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
* New files.Gravatar David Aspinall2008-01-29
* proof-interrupt-process: avoid effect of comint-skip-input (printing interrup...Gravatar David Aspinall2008-01-29
* Add buffer-substring-no-properties in case of older Emacs versionsGravatar David Aspinall2008-01-29
* Updated.Gravatar David Aspinall2008-01-29
* buffer-substring -> buffer-substring-no-properties since we never use themGravatar David Aspinall2008-01-29
* Set version tag for new release.Gravatar David Aspinall2008-01-29
* Revert previous change, does not help. Solve #184 by ignoring error in Makef...Gravatar David Aspinall2008-01-29
* Ignore errors compiling maths-menu.el (for XEmacs 21.4)Gravatar David Aspinall2008-01-29
* Change characters in maths-menu-menu to strings, hoping to fix compileGravatar David Aspinall2008-01-29
* New files.Gravatar David Aspinall2008-01-29
* 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
* Disable x-symbol-mac-setup2 for now until compile can be fixed.Gravatar David Aspinall2008-01-29
* Move proof-experimental-features back and make it constant.Gravatar David Aspinall2008-01-29
* Move proof-experimental-featuresGravatar David Aspinall2008-01-29
* Updated.Gravatar David Aspinall2008-01-29
* Comments.Gravatar David Aspinall2008-01-29
* Fix behaviour of proof-x-symbol-enable to follow customizeGravatar David Aspinall2008-01-29
* Make XEmacs compatible. Make rotate glyphs look for a char.Gravatar David Aspinall2008-01-29
* Experiment with enabling this for XEmacs.Gravatar David Aspinall2008-01-29
* Comments.Gravatar David Aspinall2008-01-29
* Protect against improper initialisation errors.Gravatar David Aspinall2008-01-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 17:19:53 +0000