aboutsummaryrefslogtreecommitdiff
path: root/coq/x-symbol-coq.el
AgeCommit message (Expand)Author
2004-04-01changed ths syntax for sub/superscript:Pierre Courtieu
2004-03-31added subscript in x-symbols-coq.el.Pierre Courtieu
2004-03-30debugging coq-x-symbols.elPierre Courtieu
2004-03-30Trying to put x-symbols for coq. By copyingPierre Courtieu
2002-07-18Add yet more settings X-Sym complains about.David Aspinall
2000-09-29a little change in coq/x-symbol, nothingPierre Courtieu
2000-09-29Added Uncaught exception errors in coq-error-regexp.Pierre Courtieu
2000-08-26nothing important, I forgot to undo something before my last commit inPierre Courtieu
2000-08-26Some changes for undoing with coq, handle user-defined tactics, inPierre Courtieu
2000-08-14enhancement of x-symbol for coq, philosophy is not encoded, and phi1 is,Pierre Courtieu
2000-03-09Updated headers.David Aspinall
1999-11-15Remove xi, appears in exists.David Aspinall
1999-11-15Added some greek letters. A mess if they occur in words.David Aspinall
1999-11-13Experiment with X-Symbol support for Coq.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-01 09:33:37 +0000