aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
2011-09-16Set version tag for new release.David Aspinall
2011-09-04some local buffer properties;Makarius Wenzel
2011-08-24Set version tag for new release.David Aspinall
2011-08-23Set version tag for new release.David Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-10Deleted fileDavid Aspinall
2011-06-09Change linebreaks as Hendrik would like, not wiki formatted(!)David Aspinall
2011-06-09parsing check from Trac #410David Aspinall
2011-06-09Set version tag for new release.David Aspinall
2011-06-07Set version tag for new release.David Aspinall
2011-06-06Record of bug report sentDavid Aspinall
2011-06-06*** empty log message ***David Aspinall
2011-06-01Set version tag for new release.David Aspinall
2011-05-30Set version tag for new release.David Aspinall
2011-05-27Set version tag for new release.David Aspinall
2011-05-16Set version tag for new release.David Aspinall
2011-05-12Set version tag for new release.David Aspinall
2011-05-05Set version tag for new release.David Aspinall
2011-04-26Set version tag for new release.David Aspinall
2011-03-09Set version tag for new release.David Aspinall
2011-02-23Set version tag for new release.David Aspinall
2011-01-31Set version tag for new release.David Aspinall
2011-01-30Note about declare-functionDavid Aspinall
2011-01-25Remove semisDavid Aspinall
2011-01-25Set version tag for new release.David Aspinall
2011-01-24Set version tag for new release.David Aspinall
2011-01-23updated theory headers;Makarius Wenzel
2011-01-19Set version tag for new release.David Aspinall
2011-01-18Set version tag for new release.David Aspinall
2011-01-12Set version tag for new release.David Aspinall
2010-12-16Set version tag for new release.David Aspinall
2010-12-15UpdatedDavid Aspinall
2010-12-10Set version tag for new release.David Aspinall
2010-11-25Set version tag for new release.David Aspinall
2010-11-09Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379David Aspinall
2010-11-03Set version tag for new release.David Aspinall
2010-10-11Set version tag for new release.David Aspinall
2010-10-11Set version tag for new release.David Aspinall
2010-10-10Set version tag for new release.David Aspinall
2010-10-10Set version tag for new release.David Aspinall
2010-10-10UpdatedDavid Aspinall
2010-10-10Set version tag for new release.David Aspinall
2010-10-04Set version tag for new release.David Aspinall
2010-10-01Set version tag for new release.David Aspinall
2010-09-29Set version tag for new release.David Aspinall
2010-09-27Set version tag for new release.David Aspinall
2010-09-27Test caseDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:55:42 +0000