| Commit message (Expand) | Author | Age |
* | Remove use of proof-ass | David Aspinall | 2008-01-24 |
* | Updated. | David Aspinall | 2008-01-16 |
* | Small fixes. | Pierre Courtieu | 2007-04-25 |
* | Add a shrink adapting hook for coq response buffer. | Pierre Courtieu | 2007-04-20 |
* | fixed the need input_spec warning. | Pierre Courtieu | 2004-04-23 |
* | modified the syntax for subscript in coq/pg | Pierre Courtieu | 2004-04-23 |
* | little fix for x-symbols coq. | Pierre Courtieu | 2004-04-16 |
* | modified the noteq token (become '<>' ). | Pierre Courtieu | 2004-04-16 |
* | Cleanup file by removing some unnecessary settings (I hope) | David Aspinall | 2004-04-14 |
* | fixed coq xsymb table. | Pierre Courtieu | 2004-04-06 |
* | Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded, | Pierre Courtieu | 2004-04-05 |
* | changed ths syntax for sub/superscript: | Pierre Courtieu | 2004-04-01 |
* | added subscript in x-symbols-coq.el. | Pierre Courtieu | 2004-03-31 |
* | debugging coq-x-symbols.el | Pierre Courtieu | 2004-03-30 |
* | Trying to put x-symbols for coq. By copying | Pierre Courtieu | 2004-03-30 |
* | 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 |