aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
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
2004-08-25Updated for 3.6 releaseDavid Aspinall
2004-05-07point to Coq/README for syntax.David Aspinall
2004-04-24Updated.David Aspinall
2004-04-23deleted coq x symbols doc in CHANGES.Pierre Courtieu
2004-04-21Tweak some textDavid Aspinall
2004-04-18Updated.David Aspinall
2004-04-16little fix for x-symbols coq.Pierre Courtieu
2004-04-16New files.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-15little change in CHANGES and in coq syntax table.Pierre Courtieu
2004-04-15fixed some words in coq changes.Pierre Courtieu
2004-04-14Add support for Imenu. Fix other bits here.David Aspinall
2004-04-13Mention new instances of PG.David Aspinall
2004-04-05updated CHANGES for CoqPierre Courtieu
2004-04-05added coq changes for 3.5 release.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 23:14:02 +0000