aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-x-symbol.el
AgeCommit message (Expand)Author
1999-11-15Cleanup and use some macros from proof.elDavid Aspinall
1999-11-12Fix for automode listDavid Aspinall
1999-11-12Typo in x-symbol enableDavid Aspinall
1999-11-12Typo in x-symbol enableDavid Aspinall
1999-11-12Fixes for response buffer display, x-symbol, output formatting.David Aspinall
1999-11-11Attempted x-symbol improvementsDavid Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-10Added URL for package to warning message. Prevent customize enabling if x-sy...David Aspinall
1999-11-10Added save-excursion.David Aspinall
1999-11-10Reorganized user options. Special new code for boolean settings.David Aspinall
1999-11-10Fix decoding of shell input.David Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
1999-11-08Provisional updates for x-symbol support (incomplete)David Aspinall
1999-09-09tuned x-symbol setup (DvO);Makarius Wenzel
1999-08-23Disable properly if x-symbol is not available.David Aspinall
1999-08-23Integrated patch from David von Oheimb.David Aspinall
1998-12-18Missing bracket.David Aspinall
1998-12-18Beginnings of x-symbol support.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 22:06:07 +0000