aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-04-16ccc-count-undos: declare str (doesnae fix bug though)David Aspinall
2004-04-16little fix for x-symbols coq.Pierre Courtieu
2004-04-16Add FAQ about .elcs failing in GNU Emacs.David Aspinall
2004-04-16modified the noteq token (become '<>' ).Pierre Courtieu
2004-04-16Fix URLDavid Aspinall
2004-04-16Oops, another stray old URL...David Aspinall
2004-04-16added an example fils for coq x-symbols.Pierre Courtieu
2004-04-16Updated.David Aspinall
2004-04-16*** empty log message ***Christophe Raffalli
2004-04-16Set version tag for new release.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16New files.David Aspinall
2004-04-16New files.David Aspinall
2004-04-16New files.David Aspinall
2004-04-16New fileDavid Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Updated.David Aspinall
2004-04-16Document Imenu/Speedbar. Update contributors.David Aspinall
2004-04-16Explain how to configure Imenu.David Aspinall
2004-04-16Add automatic refresh of Logics menuDavid Aspinall
2004-04-16Updated.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-15Comments.David Aspinall
2004-04-15Comment out pg-customize-menu-createDavid Aspinall
2004-04-15Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsDavid Aspinall
2004-04-15Change error face to firebrick (again)David Aspinall
2004-04-15Added some syntax stuff (highlight comments etc).cxl
2004-04-15Set version tag for new release.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-15Fix typo.David Aspinall
2004-04-15Updated.David Aspinall
2004-04-15Comments.David Aspinall
2004-04-15Remove title settingDavid Aspinall
2004-04-15Set imenu-syntax-alist. Seems to solve prefix/underscore issue in SpeedbarDavid Aspinall
2004-04-15commented the new tarski example for coq.Pierre Courtieu
2004-04-15Set frame title format to [Prover] Proof General: buffer.David Aspinall
2004-04-15added Knaster - Tarski theorem.Pierre Courtieu
2004-04-15Comments.David Aspinall
2004-04-15Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)David Aspinall
2004-04-15Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.David Aspinall
2004-04-15added some tactical names for coq.Pierre Courtieu
2004-04-15Remove commentDavid Aspinall
2004-04-15Add doc for x-symbolsDavid Aspinall
2004-04-15Updated.David Aspinall
2004-04-15Remove X-Symbol support temporarilyDavid Aspinall
2004-04-15Prevent setting WM title so Emacs can do its own thingDavid Aspinall
2004-04-15little change in CHANGES and in coq syntax table.Pierre Courtieu
2004-04-15Add 'oldhaspref to update action (settings appears again on Isar menu).David Aspinall
2004-04-15added little doc for holes.Pierre Courtieu
2004-04-15fixed some words in coq changes.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-25 06:57:56 +0000