aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-x-symbol.el
Commit message (Expand)AuthorAge
* Prevent font-lock complaining about not being setup.Gravatar David Aspinall2008-01-17
* Compilation tweaksGravatar David Aspinall2008-01-16
* Cleanup compileGravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-16
* Fix compilation: need proof-utilsGravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-16
* Tweak fix: it's *probably* not necessary in non-mule mode (needs testing onGravatar David Aspinall2008-01-15
* proof-x-symbol-decode-region: add fontification to fix missing subscript/subs...Gravatar David Aspinall2008-01-15
* Documentation.Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Move x-symbol-language hereGravatar David Aspinall2007-12-14
* proof-x-symbol-initialize: fix default mode name constructionGravatar David Aspinall2007-12-10
* Comments.Gravatar David Aspinall2007-12-09
* Rationalise testing for different values of window-system, to/and support mor...Gravatar David Aspinall2006-10-27
* Remove setting of x-symbol-language by C Raffalli.Gravatar David Aspinall2005-02-13
* added proof-x-symbol-set-language for script bufferGravatar Christophe Raffalli2004-10-20
* CommentGravatar David Aspinall2004-08-25
* Update email and web addressesGravatar David Aspinall2004-02-08
* Tweak to initialisation; fix prob with turning on during scripting.Gravatar David Aspinall2003-04-05
* More tweaks so that (proof-ass x-symbol-enable) is pervasive.Gravatar David Aspinall2003-03-17
* Streamline startup.Gravatar David Aspinall2003-03-16
* Use X-Symbol supplied functions for encoding input and decoding output regionsGravatar David Aspinall2003-03-14
* List of stuff to do hereGravatar David Aspinall2003-03-05
* Fix sticky mode properties for X-SymbolGravatar David Aspinall2003-03-03
* Documentation.Gravatar David Aspinall2003-02-24
* Set x-symbol-data-directoryGravatar David Aspinall2003-02-24
* Fixes to work with bundled versionGravatar David Aspinall2003-02-22
* Add code to use bundled version, commented out since broken.Gravatar David Aspinall2003-02-22
* Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.Gravatar David Aspinall2003-02-19
* Documentation.Gravatar David Aspinall2003-02-19
* Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orGravatar David Aspinall2003-02-19
* TypoGravatar David Aspinall2002-08-15
* CommentsGravatar David Aspinall2002-07-18
* Remove completion table adjustment fixed in X-Symol since Jun 01.Gravatar David Aspinall2002-07-18
* CommentsGravatar David Aspinall2002-07-16
* Fix problem with GNU Emacs support: switch to multibyte in output buffersGravatar David Aspinall2002-07-01
* Require x-symbol-vars as recommended for new version (works with old too?)Gravatar David Aspinall2002-06-24
* GPLGravatar David Aspinall2002-06-21
* Fix X-symbol URLGravatar David Aspinall2002-05-03
* Simplify enabling tests to just check window-system. Fix proof-x-symbol-deco...Gravatar David Aspinall2002-02-23
* Also put trace buffer in x sym modeGravatar David Aspinall2002-01-15
* Updates for recent version of X-symbol, which has no file called x-symbol-aut...Gravatar David Aspinall2001-08-30
* capitalize xs-lang-name;Gravatar Makarius Wenzel2000-09-13
* Added pgcustom x-symbol-language to allow different language name than proof ...Gravatar David Aspinall2000-06-16
* More comments at top of fileGravatar David Aspinall2000-06-15
* Compatibility with completion package.Gravatar David Aspinall2000-05-31
* Switch to using per-prover generic option for x-symbol-enable.Gravatar David Aspinall2000-05-26
* Improved loadingGravatar David Aspinall2000-05-09
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* Attempted fix for thy-mode X-Symbol problems. Still buggy.Gravatar David Aspinall2000-01-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 22:03:44 +0000