| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
Pierre Courtieu
David Aspinall