aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
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
2010-09-24*** empty log message ***David Aspinall
2010-09-22add notesDavid Aspinall
2010-09-22Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140David Aspinall
2010-09-09Set version tag for new release.David Aspinall
2010-09-08Set version tag for new release.David Aspinall
2010-09-08Add simple clear test for multiple files without requireDavid Aspinall
2010-09-06Update for current Coq syntaxDavid Aspinall
2010-08-30*** empty log message ***David Aspinall
2010-08-27Set version tag for new release.David Aspinall
2010-08-25Set version tag for new release.David Aspinall
2010-08-24proof-script-command-end-regexp: allow any non-letter after a periodDavid Aspinall
2010-08-23Set version tag for new release.David Aspinall
2010-08-20declare trace_simp in Isar, not ML;Makarius Wenzel
2010-08-19Set version tag for new release.David Aspinall
2010-08-19Update ML (but still doesn't work: how to turn on tracing in ML?)David Aspinall
2010-08-19Remove obsolete timingsDavid Aspinall
2010-08-19Update link to STIX fontsDavid Aspinall
2010-08-19Clarify behaviour of copy-paste for token variants: it works fine in PGDavid Aspinall
2010-08-18Minor rearrangeDavid Aspinall
2010-08-18Updated with recent figures from Mac OS X.David Aspinall
2010-08-18Clean flag settings for profiling. Add AHundredProofs.David Aspinall
2010-08-17Set version tag for new release.David Aspinall
2010-08-15Set version tag for new release.David Aspinall
2010-08-15Elisp timingDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 05:31:25 +0000