aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-04-15Updated.David Aspinall
2004-04-14New files.David Aspinall
2004-04-14Typo in imenu setup (not sure how that got committed)David Aspinall
2004-04-14Mention coding system for x-symbol warning message.David Aspinall
2004-04-14Set supported versions of Isabelle (remove 99, 2002 versions).David Aspinall
2004-04-14New files.David Aspinall
2004-04-14Remove X-symbol support from secondary provers temporarilyDavid Aspinall
2004-04-14Fix mail addrDavid Aspinall
2004-04-14Cleanup file by removing some unnecessary settings (I hope)David Aspinall
2004-04-14New files.David Aspinall
2004-04-14Deleted fileDavid Aspinall
2004-04-14Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:23:04 +0000