aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2009-05-26*** empty log message ***David Aspinall
2009-05-26Test case for #266David Aspinall
2009-05-26Revise example for Isabelle 2009, showing use of two commands on a line.David Aspinall
2009-04-16Set version tag for new release.David Aspinall
2008-12-05Set version tag for new release.David Aspinall
2008-09-19Set version tag for new release.David Aspinall
2008-08-03Updated.David Aspinall
2008-08-03Remove XEmacs package, now single RPM.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-23Set version tag for new release.David Aspinall
2008-07-22Set version tag for new release.David Aspinall
2008-07-19New files.David Aspinall
2008-07-19Update for new syntaxDavid Aspinall
2008-07-19Set version tag for new release.David Aspinall
2008-07-17Set version tag for new release.David Aspinall
2008-07-12Set version tag for new release.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-10Set version tag for new release.David Aspinall
2008-07-10New files.David Aspinall
2008-07-08Set version tag for new release.David Aspinall
2008-07-07Set version tag for new release.David Aspinall
2008-07-06New files.David Aspinall
2008-07-06Set version tag for new release.David Aspinall
2008-07-05Set version tag for new release.David Aspinall
2008-07-05Trac regressionsDavid Aspinall
2008-06-14obsolete;Makarius Wenzel
2008-05-26Set version tag for new release.David Aspinall
2008-02-17Set version tag for new release.David Aspinall
2008-02-17New files.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:42:18 +0000