Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add yet more settings X-Sym complains about. | David Aspinall | 2002-07-18 |
* | a little change in coq/x-symbol, nothing | Pierre Courtieu | 2000-09-29 |
* | Added Uncaught exception errors in coq-error-regexp. | Pierre Courtieu | 2000-09-29 |
* | nothing important, I forgot to undo something before my last commit in | Pierre Courtieu | 2000-08-26 |
* | Some changes for undoing with coq, handle user-defined tactics, in | Pierre Courtieu | 2000-08-26 |
* | enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is, | Pierre Courtieu | 2000-08-14 |
* | Updated headers. | David Aspinall | 2000-03-09 |
* | Remove xi, appears in exists. | David Aspinall | 1999-11-15 |
* | Added some greek letters. A mess if they occur in words. | David Aspinall | 1999-11-15 |
* | Experiment with X-Symbol support for Coq. | David Aspinall | 1999-11-13 |