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