| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-08-03 | Fix theory name | David Aspinall |
| 2010-08-03 | Support files for Movie output | David Aspinall |
| 2010-07-08 | Set version tag for new release. | David Aspinall |
| 2010-06-28 | Isabelle syntax update | David Aspinall |
| 2010-06-28 | Isabelle syntax update | David Aspinall |
| 2009-12-04 | New files | David Aspinall |
| 2009-12-04 | Set version tag for new release. | David Aspinall |
| 2009-12-01 | 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-11-12 | Set version tag for new release. | David Aspinall |
| 2009-10-16 | Set version tag for new release. | David Aspinall |
| 2009-10-16 | Add pointer | David Aspinall |
| 2009-10-16 | *** empty log message *** | David Aspinall |
| 2009-10-06 | Set version tag for new release. | David Aspinall |
| 2009-09-29 | Set version tag for new release. | David Aspinall |
| 2009-09-28 | Set version tag for new release. | David Aspinall |
| 2009-09-21 | Set 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-16 | Set version tag for new release. | David Aspinall |
| 2009-09-15 | Set version tag for new release. | David Aspinall |
| 2009-09-11 | Update temp list | David Aspinall |
| 2009-09-10 | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall |
| 2009-09-10 | Coq test | David Aspinall |
| 2009-09-07 | Deleted file | David Aspinall |
| 2009-09-06 | Obsolete files | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-09-05 | Add bug ref | David Aspinall |
| 2009-09-04 | some results | David Aspinall |
| 2009-09-04 | some profiling records | David Aspinall |
| 2009-09-04 | Add Elisp timings | David Aspinall |
| 2009-09-04 | Timing | David Aspinall |
| 2009-09-04 | fixed theory name; | Makarius Wenzel |
| 2009-09-04 | Add timing messages | David Aspinall |
| 2009-09-01 | Set version tag for new release. | David Aspinall |
| 2009-08-31 | Add Emacs 23 warning. | David Aspinall |
| 2009-08-31 | Pointer to Stix fonts | David Aspinall |
| 2009-08-31 | Set version tag for new release. | David Aspinall |
| 2009-08-31 | Tokenize | David Aspinall |
| 2009-08-31 | Attribution | David Aspinall |
| 2009-08-28 | Add more commentary and new control examples | David Aspinall |
| 2009-08-28 | Updated. | David Aspinall |
| 2009-08-28 | Attempt to duplicate Dixon bug | David Aspinall |
| 2009-08-28 | Set version tag for new release. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |