aboutsummaryrefslogtreecommitdiffhomepage
path: root/x-symbol/README.x-symbol-for-ProofGeneral
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2008-07-18
* Update note re Carbon EmacsGravatar David Aspinall2008-01-31
* Note about instructions on X-Symb for MacGravatar David Aspinall2008-01-31
* Instructions on X-Symb for MacGravatar David Aspinall2008-01-31
* Note about isaxsymb1.ttfGravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2006-09-07
* Updated.Gravatar David Aspinall2004-08-24
* Updated.Gravatar David Aspinall2004-06-16
* Update to 4.5.1-beta from sourceforge.Gravatar David Aspinall2003-09-24
* Updated.Gravatar David Aspinall2003-09-22
* Updated.Gravatar David Aspinall2003-03-03
* Updated.Gravatar David Aspinall2003-03-03
* Updated.Gravatar David Aspinall2003-03-03
* Update to 4.5 (pre?) version CW sentGravatar David Aspinall2003-03-01
* Renamed fileGravatar David Aspinall2003-02-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 13:23:36 +0000