aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2008-02-06Set version tag for new release.David Aspinall
2008-02-03Deleted fileDavid Aspinall
2008-01-31Set version tag for new release.David Aspinall
2008-01-31Fix dateDavid Aspinall
2008-01-31Remove semi-colons. Literal commands triggered in response bufferDavid Aspinall
2008-01-31Set version tag for new release.David Aspinall
2008-01-30Move to .tgzDavid Aspinall
2008-01-30Set version tag for new release.David Aspinall
2008-01-29New files.David Aspinall
2008-01-29Updated.David Aspinall
2008-01-29Set version tag for new release.David Aspinall
2008-01-29New files.David Aspinall
2008-01-27Set version tag for new release.David Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...David Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Set version tag for new release.David Aspinall
2008-01-24Set version tag for new release.David Aspinall
2008-01-24Deleted fileDavid Aspinall
2008-01-17Set version tag for new release.David Aspinall
2008-01-17Updated.David Aspinall
2008-01-16Set version tag for new release.David Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Set version tag for new release.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Set version tag for new release.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14New files.David Aspinall
2007-12-13New files.David Aspinall
2007-12-13Renamed fileDavid Aspinall
2007-12-12Deleted fileDavid Aspinall
2007-12-12Deleted fileDavid Aspinall
2007-12-10Set version tag for new release.David Aspinall
2007-12-09New files.David Aspinall
2007-12-09Patch for buggy derived.el in XEmacs 21.5.b28David Aspinall
2007-12-08New files.David Aspinall
2007-11-12Set version tag for new release.David Aspinall
2007-10-25Use %{version} tag in source file nameDavid Aspinall
2007-10-25Set version tag for new release.David Aspinall
2007-09-17New files.David Aspinall
2007-09-10Set version tag for new release.David Aspinall
2007-08-20proper use of ProofGeneral.sendback;Makarius Wenzel
2007-08-19Set version tag for new release.David Aspinall
2007-08-19Test ProofGeneral.sendbackDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-07-04Set version tag for new release.David Aspinall
2007-06-19Set version tag for new release.David Aspinall
2007-06-10Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:35:13 +0000