| Age | Commit message (Expand) | Author |
|---|
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-01-24 | Remove use of proof-ass | David Aspinall |
| 2008-01-16 | Updated. | David Aspinall |
| 2007-04-25 | Small fixes. | Pierre Courtieu |
| 2007-04-20 | Add a shrink adapting hook for coq response buffer. | Pierre Courtieu |
| 2004-04-23 | fixed the need input_spec warning. | Pierre Courtieu |
| 2004-04-23 | modified the syntax for subscript in coq/pg | Pierre Courtieu |
| 2004-04-16 | little fix for x-symbols coq. | Pierre Courtieu |
| 2004-04-16 | modified the noteq token (become '<>' ). | Pierre Courtieu |
| 2004-04-14 | Cleanup file by removing some unnecessary settings (I hope) | David Aspinall |
| 2004-04-06 | fixed coq xsymb table. | Pierre Courtieu |
| 2004-04-05 | Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded, | Pierre Courtieu |
| 2004-04-01 | changed ths syntax for sub/superscript: | Pierre Courtieu |
| 2004-03-31 | added subscript in x-symbols-coq.el. | Pierre Courtieu |
| 2004-03-30 | debugging coq-x-symbols.el | Pierre Courtieu |
| 2004-03-30 | Trying to put x-symbols for coq. By copying | Pierre Courtieu |
| 2002-07-18 | Add yet more settings X-Sym complains about. | David Aspinall |
| 2000-09-29 | a little change in coq/x-symbol, nothing | Pierre Courtieu |
| 2000-09-29 | Added Uncaught exception errors in coq-error-regexp. | Pierre Courtieu |
| 2000-08-26 | 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-14 | enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is, | Pierre Courtieu |
| 2000-03-09 | Updated headers. | David Aspinall |
| 1999-11-15 | 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-13 | Experiment with X-Symbol support for Coq. | David Aspinall |
