| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-09-19 | Clean up a little bit, adding extra syntax to make buffer process fully. | David Aspinall |
| 2011-09-04 | some local buffer properties; | Makarius Wenzel |
| 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-18 | Minor rearrange | David Aspinall |
| 2009-12-01 | Update token list adding fraktur characters. | 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 some more examples and syntax declarations to actually | David Aspinall |
| 2009-08-31 | Add Emacs 23 warning. | David Aspinall |
| 2009-08-31 | Pointer to Stix fonts | David Aspinall |
| 2009-08-28 | Add more commentary and new control examples | David Aspinall |
| 2009-08-28 | Property merging now works with tweaks in unicode-tokens | David Aspinall |
| 2008-08-03 | Updated. | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |