aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego/x-symbol-lego.el
Commit message (Expand)AuthorAge
* Remove X-symbol support from secondary provers temporarilyGravatar David Aspinall2004-04-14
* GPL updateGravatar David Aspinall2002-06-21
* Add Pierre's tweakGravatar David Aspinall2000-09-23
* Updated headers.Gravatar David Aspinall2000-03-09
* Remove xi, appears in exists.Gravatar David Aspinall1999-11-15
* preliminary X-Symbol supportGravatar David Aspinall1999-11-15