aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
...
* 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
* Fix theory nameGravatar David Aspinall2010-08-03
* Support files for Movie outputGravatar David Aspinall2010-08-03
* Set version tag for new release.Gravatar David Aspinall2010-07-08
* Isabelle syntax updateGravatar David Aspinall2010-06-28
* Isabelle syntax updateGravatar David Aspinall2010-06-28
* New filesGravatar David Aspinall2009-12-04
* Set version tag for new release.Gravatar David Aspinall2009-12-04
* Update token list adding fraktur characters.Gravatar David Aspinall2009-12-01
* Set version tag for new release.Gravatar David Aspinall2009-12-01
* Profile 'pg' needed now tooGravatar David Aspinall2009-12-01
* Added spanning identifier supers/subsGravatar David Aspinall2009-12-01
* Add some examples of longer subscriptsGravatar David Aspinall2009-12-01
* Add test caseGravatar David Aspinall2009-12-01
* Add some more examples and syntax declarations to actuallyGravatar David Aspinall2009-12-01
* Set version tag for new release.Gravatar David Aspinall2009-11-12
* Set version tag for new release.Gravatar David Aspinall2009-10-16
* Add pointerGravatar David Aspinall2009-10-16
* *** empty log message ***Gravatar David Aspinall2009-10-16
* Set version tag for new release.Gravatar David Aspinall2009-10-06
* Set version tag for new release.Gravatar David Aspinall2009-09-29
* Set version tag for new release.Gravatar David Aspinall2009-09-28
* Set version tag for new release.Gravatar David Aspinall2009-09-21
* *** empty log message ***Gravatar David Aspinall2009-09-20
* *** empty log message ***Gravatar David Aspinall2009-09-20
* *** empty log message ***Gravatar David Aspinall2009-09-17
* Set version tag for new release.Gravatar David Aspinall2009-09-16
* Set version tag for new release.Gravatar David Aspinall2009-09-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 12:09:26 +0000