| Age | Commit message (Collapse) | 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 | |
| but alpha_, _alpha and _alpha_ are decoded. | |||
| 2004-04-01 | changed ths syntax for sub/superscript: | Pierre Courtieu | |
| - __ makes the following word (if immediately after __) subscript - ^^ makes the following word (if immediately after ^^) superscript - __{...} makes ... subscript - ^^{...} makes ... superscript | |||
| 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 | |
| x-symbol-isabelle.el. Seems to work. | |||
| 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 | |
| coq/x-symbol-coq.el | |||
| 2000-08-26 | Some changes for undoing with coq, handle user-defined tactics, in | Pierre Courtieu | |
| coq/coq-syntax.el and coq/coq.el. | |||
| 2000-08-14 | enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is, | Pierre Courtieu | |
| one problem remains: a word ending with phi will be encoded. | |||
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |