aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
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
2007-05-08tuned Isabelle entry;Makarius Wenzel
2007-02-28Updated.David Aspinall
2006-12-11Update, note about Isabelle 2004David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-09-12Updated.David Aspinall
2006-09-07update CHANGES.Pierre Courtieu
2006-09-07Updated CHANGES.Pierre Courtieu
2005-09-30UpdatedDavid Aspinall
2005-09-15added note for large x-symbols;Makarius Wenzel
2005-03-25Updated.David Aspinall
2005-03-21Mention Stefan's patchesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:41:13 +0000