aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2009-09-14
* Elaborate on new settingsGravatar David Aspinall2009-09-11
* *** empty log message ***Gravatar David Aspinall2009-09-09
* *** empty log message ***Gravatar David Aspinall2009-09-09
* Updated.Gravatar David Aspinall2009-09-08
* Update, remove proof-shell-abort-goal-regexpGravatar David Aspinall2009-09-08
* UpdatedGravatar David Aspinall2009-09-06
* Remove use-specials-for-fontifyGravatar David Aspinall2009-09-06
* Update.Gravatar David Aspinall2009-09-06
* UpdatedGravatar David Aspinall2009-09-05
* UpdatedGravatar David Aspinall2009-09-04
* UpdatesGravatar David Aspinall2009-09-01
* Change centric->centredGravatar David Aspinall2009-08-13
* UpdateGravatar David Aspinall2009-08-07
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* UpdatedGravatar David Aspinall2009-05-26
* UpdatedGravatar David Aspinall2009-05-26
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Updated.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-10
* Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUTGravatar Pierre Courtieu2008-06-06
* Updated.Gravatar David Aspinall2008-02-17
* Updated.Gravatar David Aspinall2008-02-06
* Updated.Gravatar David Aspinall2008-02-03
* Updated.Gravatar David Aspinall2008-01-31
* Expand info on X-Symbol MacGravatar David Aspinall2008-01-31
* updated CHANGESGravatar Assia Mahboubi2008-01-31
* Say "Partial" for this X-Symbol supportGravatar David Aspinall2008-01-31
* Mention X-Symbol on native MacGravatar David Aspinall2008-01-31
* Added Assia's contribution to ssreflect mode for coq in CHANGES.Gravatar Pierre Courtieu2008-01-31
* Updated.Gravatar David Aspinall2008-01-30
* Update doc on token input method. Merge README.exper.Gravatar David Aspinall2008-01-30
* Comment location for tokens/maths menu.Gravatar David Aspinall2008-01-29
* Mention Unicode Tokens and undo in read-only region.Gravatar David Aspinall2008-01-28
* Updated.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-15
* Updated.Gravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-13
* Additions for maths menuGravatar David Aspinall2007-12-12
* Documentation.Gravatar David Aspinall2007-12-12
* Updated.Gravatar David Aspinall2007-12-12
* added information about optional "Find Theorems" form;Gravatar Makarius Wenzel2007-06-13
* Comment on remove of proof-indent-pad-eolGravatar David Aspinall2007-05-15
* Clarify buf hist activation.Gravatar David Aspinall2007-05-15
* tuned Isabelle entry;Gravatar Makarius Wenzel2007-05-08
* Updated.Gravatar David Aspinall2007-02-28
* Update, note about Isabelle 2004Gravatar David Aspinall2006-12-11
* Add buffer history browsingGravatar David Aspinall2006-09-24
* Updated.Gravatar David Aspinall2006-09-12
* update CHANGES.Gravatar Pierre Courtieu2006-09-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 01:05:13 +0000