Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Add shortcuts for tokens. | David Aspinall | 2008-01-28 | |
* | Switch token table mapping destination from glyph names to unicode strings. ... | David Aspinall | 2008-01-27 | |
* | New files. | David Aspinall | 2008-01-25 |
index : proof-general | ||
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Add shortcuts for tokens. | David Aspinall | 2008-01-28 | |
* | Switch token table mapping destination from glyph names to unicode strings. ... | David Aspinall | 2008-01-27 | |
* | New files. | David Aspinall | 2008-01-25 |