aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2012-01-18Added some detail on the indentation limitation in the CHANGE.Pierre Courtieu
2012-01-12Fix typo, mention HOL LightDavid Aspinall
2012-01-04Add link to Prooftree downloadDavid Aspinall
2012-01-03update CHANGESHendrik Tews
2011-12-23Will release 4.2 next, after allDavid Aspinall
2011-12-07- protect proof-shell-handle-delayed-output against the case whereHendrik Tews
2011-11-15Suggest PG 4.1.1 will be released nextDavid Aspinall
2011-10-14Bump doc version numbers to 4.2pre.David Aspinall
2011-06-22coq-use-smie not enabled by defaultDavid Aspinall
2011-05-16Ref to Coq chapter in PG manualDavid Aspinall
2011-01-25Note recent changesDavid Aspinall
2010-11-15Summary: New indentation code using SMIEStefan Monnier
2010-11-03Updated.David Aspinall
2010-10-13Update for config changes.David Aspinall
2010-10-11proof-use-parser-cache=t defaultDavid Aspinall
2010-10-10Clarify Emacs 22 versionDavid Aspinall
2010-10-10Support Emacs 23.1+ only.David Aspinall
2010-10-01Document query identifierDavid Aspinall
2010-10-01proof-script-command-separator: removed (always a space)David Aspinall
2010-09-21Add Document Centred command. Adjust for new menu layout.David Aspinall
2010-09-09Fixed the cleaning of goals buffer when proof completedPierre Courtieu
2010-09-09filled CHANGES a bit more precisely.Pierre Courtieu
2010-09-09Fixed small bugs in indentation.Pierre Courtieu
2010-09-01Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpPierre Courtieu
2010-08-27UpdatedDavid Aspinall
2010-08-20Mention Fast Process BufferDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 01:03:48 +0000