aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2011-01-31
* Note about declare-functionGravatar David Aspinall2011-01-30
* Remove semisGravatar David Aspinall2011-01-25
* Set version tag for new release.Gravatar David Aspinall2011-01-25
* Set version tag for new release.Gravatar David Aspinall2011-01-24
* updated theory headers;Gravatar Makarius Wenzel2011-01-23
* Set version tag for new release.Gravatar David Aspinall2011-01-19
* Set version tag for new release.Gravatar David Aspinall2011-01-18
* Set version tag for new release.Gravatar David Aspinall2011-01-12
* Set version tag for new release.Gravatar David Aspinall2010-12-16
* UpdatedGravatar David Aspinall2010-12-15
* Set version tag for new release.Gravatar David Aspinall2010-12-10
* Set version tag for new release.Gravatar David Aspinall2010-11-25
* Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379Gravatar David Aspinall2010-11-09
* Set version tag for new release.Gravatar David Aspinall2010-11-03
* Set version tag for new release.Gravatar David Aspinall2010-10-11
* Set version tag for new release.Gravatar David Aspinall2010-10-11
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* UpdatedGravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-10
* Set version tag for new release.Gravatar David Aspinall2010-10-04
* Set version tag for new release.Gravatar David Aspinall2010-10-01
* Set version tag for new release.Gravatar David Aspinall2010-09-29
* Set version tag for new release.Gravatar David Aspinall2010-09-27
* Test caseGravatar David Aspinall2010-09-27
* *** empty log message ***Gravatar David Aspinall2010-09-24
* add notesGravatar David Aspinall2010-09-22
* Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140Gravatar David Aspinall2010-09-22
* Set version tag for new release.Gravatar David Aspinall2010-09-09
* Set version tag for new release.Gravatar David Aspinall2010-09-08
* Add simple clear test for multiple files without requireGravatar David Aspinall2010-09-08
* Update for current Coq syntaxGravatar David Aspinall2010-09-06
* *** empty log message ***Gravatar David Aspinall2010-08-30
* Set version tag for new release.Gravatar David Aspinall2010-08-27
* Set version tag for new release.Gravatar David Aspinall2010-08-25
* proof-script-command-end-regexp: allow any non-letter after a periodGravatar David Aspinall2010-08-24
* Set version tag for new release.Gravatar David Aspinall2010-08-23
* declare trace_simp in Isar, not ML;Gravatar Makarius Wenzel2010-08-20
* Set version tag for new release.Gravatar David Aspinall2010-08-19
* Update ML (but still doesn't work: how to turn on tracing in ML?)Gravatar David Aspinall2010-08-19
* Remove obsolete timingsGravatar David Aspinall2010-08-19
* Update link to STIX fontsGravatar David Aspinall2010-08-19
* Clarify behaviour of copy-paste for token variants: it works fine in PGGravatar David Aspinall2010-08-19
* Minor rearrangeGravatar David Aspinall2010-08-18
* Updated with recent figures from Mac OS X.Gravatar David Aspinall2010-08-18
* Clean flag settings for profiling. Add AHundredProofs.Gravatar David Aspinall2010-08-18
* Set version tag for new release.Gravatar David Aspinall2010-08-17
* Set version tag for new release.Gravatar David Aspinall2010-08-15
* Elisp timingGravatar David Aspinall2010-08-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 20:22:43 +0000