aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
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
to terminate a command, fixing #296 (and hopefully not messing up other cases).
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
2010-08-03Fix theory nameDavid Aspinall
2010-08-03Support files for Movie outputDavid Aspinall
2010-07-08Set version tag for new release.David Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2010-06-28Isabelle syntax updateDavid Aspinall
2009-12-04New filesDavid Aspinall
2009-12-04Set version tag for new release.David Aspinall
2009-12-01Update token list adding fraktur characters.David Aspinall
2009-12-01Set version tag for new release.David Aspinall
2009-12-01Profile 'pg' needed now tooDavid Aspinall
2009-12-01Added spanning identifier supers/subsDavid Aspinall
2009-12-01Add some examples of longer subscriptsDavid Aspinall
2009-12-01Add test caseDavid Aspinall
2009-12-01Add some more examples and syntax declarations to actuallyDavid Aspinall
process the file.
2009-11-12Set version tag for new release.David Aspinall
2009-10-16Set version tag for new release.David Aspinall
2009-10-16Add pointerDavid Aspinall
2009-10-16*** empty log message ***David Aspinall
2009-10-06Set version tag for new release.David Aspinall
2009-09-29Set version tag for new release.David Aspinall
2009-09-28Set version tag for new release.David Aspinall
2009-09-21Set version tag for new release.David Aspinall
2009-09-20*** empty log message ***David Aspinall
2009-09-20*** empty log message ***David Aspinall
2009-09-17*** empty log message ***David Aspinall
2009-09-16Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:43:02 +0000