| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add some examples of longer subscripts |  David Aspinall | 2009-12-01 |
| * | Add some more examples and syntax declarations to actually | David Aspinall | 2009-12-01 |
| * | Add Emacs 23 warning. | David Aspinall | 2009-08-31 |
| * | Pointer to Stix fonts | David Aspinall | 2009-08-31 |
| * | Add more commentary and new control examples | David Aspinall | 2009-08-28 |
| * | Property merging now works with tweaks in unicode-tokens | David Aspinall | 2009-08-28 |
| * | Updated. | David Aspinall | 2008-08-03 |
| * | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |