Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | David Aspinall | 2010-10-10 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-10-10 |
| | |||
* | Updated | David Aspinall | 2010-10-10 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-10-10 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-10-04 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-10-01 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-09-29 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-09-27 |
| | |||
* | Test case | David Aspinall | 2010-09-27 |
| | |||
* | *** empty log message *** | David Aspinall | 2010-09-24 |
| | |||
* | add notes | David Aspinall | 2010-09-22 |
| | |||
* | Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140 | David Aspinall | 2010-09-22 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-09-09 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-09-08 |
| | |||
* | Add simple clear test for multiple files without require | David Aspinall | 2010-09-08 |
| | |||
* | Update for current Coq syntax | David Aspinall | 2010-09-06 |
| | |||
* | *** empty log message *** | David Aspinall | 2010-08-30 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-08-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-08-25 |
| | |||
* | proof-script-command-end-regexp: allow any non-letter after a period | David Aspinall | 2010-08-24 |
| | | | | | to terminate a command, fixing #296 (and hopefully not messing up other cases). | ||
* | Set version tag for new release. | David Aspinall | 2010-08-23 |
| | |||
* | declare trace_simp in Isar, not ML; | Makarius Wenzel | 2010-08-20 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-08-19 |
| | |||
* | Update ML (but still doesn't work: how to turn on tracing in ML?) | David Aspinall | 2010-08-19 |
| | |||
* | Remove obsolete timings | David Aspinall | 2010-08-19 |
| | |||
* | Update link to STIX fonts | David Aspinall | 2010-08-19 |
| | |||
* | Clarify behaviour of copy-paste for token variants: it works fine in PG | David Aspinall | 2010-08-19 |
| | |||
* | Minor rearrange | David Aspinall | 2010-08-18 |
| | |||
* | Updated with recent figures from Mac OS X. | David Aspinall | 2010-08-18 |
| | |||
* | Clean flag settings for profiling. Add AHundredProofs. | David Aspinall | 2010-08-18 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-08-17 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-08-15 |
| | |||
* | Elisp timing | David Aspinall | 2010-08-15 |
| | |||
* | Fix theory name | David Aspinall | 2010-08-03 |
| | |||
* | Support files for Movie output | David Aspinall | 2010-08-03 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-07-08 |
| | |||
* | Isabelle syntax update | David Aspinall | 2010-06-28 |
| | |||
* | Isabelle syntax update | David Aspinall | 2010-06-28 |
| | |||
* | New files | David Aspinall | 2009-12-04 |
| | |||
* | Set version tag for new release. | David Aspinall | 2009-12-04 |
| | |||
* | Update token list adding fraktur characters. | David Aspinall | 2009-12-01 |
| | |||
* | Set version tag for new release. | David Aspinall | 2009-12-01 |
| | |||
* | Profile 'pg' needed now too | David Aspinall | 2009-12-01 |
| | |||
* | Added spanning identifier supers/subs | David Aspinall | 2009-12-01 |
| | |||
* | Add some examples of longer subscripts | David Aspinall | 2009-12-01 |
| | |||
* | Add test case | David Aspinall | 2009-12-01 |
| | |||
* | Add some more examples and syntax declarations to actually | David Aspinall | 2009-12-01 |
| | | | | process the file. | ||
* | Set version tag for new release. | David Aspinall | 2009-11-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 2009-10-16 |
| | |||
* | Add pointer | David Aspinall | 2009-10-16 |
| |