aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2010-08-15Update.David Aspinall
2010-08-03pg-protected-undo changeDavid Aspinall
2010-08-03Updated.David Aspinall
2009-12-04UpdatedDavid Aspinall
2009-10-15UpdatedDavid Aspinall
2009-10-02Explain Unicode Tokens betterDavid Aspinall
2009-09-14UpdatedDavid Aspinall
2009-09-11Elaborate on new settingsDavid Aspinall
2009-09-09*** empty log message ***David Aspinall
2009-09-09*** empty log message ***David Aspinall
2009-09-08Updated.David Aspinall
2009-09-08Update, remove proof-shell-abort-goal-regexpDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06Remove use-specials-for-fontifyDavid Aspinall
2009-09-06Update.David Aspinall
2009-09-05UpdatedDavid Aspinall
2009-09-04UpdatedDavid Aspinall
2009-09-01UpdatesDavid Aspinall
2009-08-13Change centric->centredDavid Aspinall
2009-08-07UpdateDavid Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26UpdatedDavid Aspinall
2009-05-26UpdatedDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-10Updated.David Aspinall
2008-06-06Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUTPierre Courtieu
2008-02-17Updated.David Aspinall
2008-02-06Updated.David Aspinall
2008-02-03Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Expand info on X-Symbol MacDavid Aspinall
2008-01-31updated CHANGESAssia Mahboubi
2008-01-31Say "Partial" for this X-Symbol supportDavid Aspinall
2008-01-31Mention X-Symbol on native MacDavid Aspinall
2008-01-31Added Assia's contribution to ssreflect mode for coq in CHANGES.Pierre Courtieu
2008-01-30Updated.David Aspinall
2008-01-30Update doc on token input method. Merge README.exper.David Aspinall
2008-01-29Comment location for tokens/maths menu.David Aspinall
2008-01-28Mention Unicode Tokens and undo in read-only region.David Aspinall
2008-01-17Updated.David Aspinall
2008-01-15Updated.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-13Updated.David Aspinall
2007-12-12Additions for maths menuDavid Aspinall
2007-12-12Documentation.David Aspinall
2007-12-12Updated.David Aspinall
2007-06-13added information about optional "Find Theorems" form;Makarius Wenzel
2007-05-15Comment on remove of proof-indent-pad-eolDavid Aspinall
2007-05-15Clarify buf hist activation.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 09:31:14 +0000