aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2011-01-18Add multiple file test caseDavid Aspinall
2011-01-18Alternative fix to #382.David Aspinall
2011-01-18set proof-auto-action-when-deactivating-scripting to 'retract,David Aspinall
2011-01-18Localise compilation fix for dynamic scope of `queueitems\'.David Aspinall
2011-01-18- fixed compilation errorsHendrik Tews
2011-01-18- fix broken external compilationHendrik Tews
2011-01-18Removing a debugging message.Pierre Courtieu
2011-01-18Set version tag for new release.David Aspinall
2011-01-18Fix trac 382 by not setting save-abbrevs.Pierre Courtieu
2011-01-17fix problems in test casesHendrik Tews
2011-01-14set a non-temporary email addressHendrik Tews
2011-01-14- more coq test cases (some with surprising and embarrassing bugs)Hendrik Tews
2011-01-14Update dates and versionsDavid Aspinall
2011-01-14Add new CVS users to DEVELOPERS list.David Aspinall
2011-01-14- move proof-no-fully-processed-buffer to generic/proof-configHendrik Tews
2011-01-14- simple backward compatible change to invoke a function toHendrik Tews
2011-01-14- Remove nonfunctional Add LoadPath code.Hendrik Tews
2011-01-12Add preliminary support for multiple files for coq.Hendrik Tews
2011-01-12Tweak text wrt http://proofgeneral.inf.ed.ac.uk/trac/ticket/355David Aspinall
2011-01-12Set version tag for new release.David Aspinall
2011-01-12Remove commentDavid Aspinall
2011-01-12Type-check on integer settingsDavid Aspinall
2011-01-12Fix quoting in 'float patch.David Aspinall
2011-01-11Add additional support for pgipfloat typeDavid Aspinall
2011-01-11'float -> 'numberDavid Aspinall
2011-01-11defpacustom: support for 'float typeDavid Aspinall
2010-12-16Set version tag for new release.David Aspinall
2010-12-16Patch to add pgipfloat type.David Aspinall
2010-12-15UpdatedDavid Aspinall
2010-12-10Updated compatibilityDavid Aspinall
2010-12-10Set version tag for new release.David Aspinall
2010-12-10Update dateDavid Aspinall
2010-12-10Add note about short listDavid Aspinall
2010-12-08some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;Makarius Wenzel
2010-11-25Fix compile problem with smie code on Emacs <=23.3David Aspinall
2010-11-25Set version tag for new release.David Aspinall
2010-11-15Summary: New indentation code using SMIEStefan Monnier
2010-11-09Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379David Aspinall
2010-11-03Updated.David Aspinall
2010-11-03Set version tag for new release.David Aspinall
2010-10-22Fixed a bug with utf8 error highlighting in coq 8.3 (bugs with 8.2Pierre Courtieu
2010-10-13Update for config changes.David Aspinall
2010-10-11proof-debug: fiddle with warning levels to make *PG Debug* buffer appear, set...David Aspinall
2010-10-11proof-segment-up-to-using-cache: improve attemptDavid Aspinall
2010-10-11Set version tag for new release.David Aspinall
2010-10-11proof-use-parser-cache=t defaultDavid Aspinall
2010-10-11WhitespaceDavid Aspinall
2010-10-11Use parser cache by default.David Aspinall
2010-10-11Add Adam Megacz to creditsDavid Aspinall
2010-10-11UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 20:46:22 +0000