aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-04-14added basic support for imenu for coq.Pierre Courtieu
2004-04-14added the "return" keyword to coqPierre Courtieu
2004-04-14Support 'oldhaspref as alias for 'haspref in PG 3.5.David Aspinall
2004-04-14Add support for Imenu. Fix other bits here.David Aspinall
2004-04-14Set version tag for new release.David Aspinall
2004-04-14Updated.David Aspinall
2004-04-14Add Index menu.David Aspinall
2004-04-14Add Index Menu and Speedbar menu entries; remove Function Menu.David Aspinall
2004-04-14Add proof-imenu-enable. Other doc tweaks.David Aspinall
2004-04-14Add functions for Imenu and SpeedbarDavid Aspinall
2004-04-14Fix version number notes.David Aspinall
2004-04-14Write summary of changes.David Aspinall
2004-04-14Fix buglet in pgip eager annotation stripping.David Aspinall
2004-04-14Add proof-script-imenu-generic-expression for configuring imenu.David Aspinall
2004-04-14Add imenu support.David Aspinall
2004-04-14Func-menu: fix bug in locale regexp. Add imenu support.David Aspinall
2004-04-14Space in named entities popupDavid Aspinall
2004-04-14Fix to proof-goal-with-hole-result to agree with isar-syntax.elDavid Aspinall
2004-04-14Fixes for function menu. Remove unnamed entities.David Aspinall
2004-04-14fixed regexp problem with function menuGerwin Klein
2004-04-13Indentation of proof-with-current-buffer-if-existsDavid Aspinall
2004-04-13Abstract out proof-maybe-askprefsDavid Aspinall
2004-04-13Abstract out proof-end-of-locked-visible-pDavid Aspinall
2004-04-13Comment.David Aspinall
2004-04-13Fix comment.David Aspinall
2004-04-13Fix long-lived typo in setting auto-mode-alist.David Aspinall
2004-04-13Set proof-goal-with-hole-result to account for use of shy grouping in goal-wi...David Aspinall
2004-04-13Note about x-symbol warning on locale.David Aspinall
2004-04-13Add hint to C-c C-l; cleanup hints, add menu for C-c C-lDavid Aspinall
2004-04-13Mention plans to implement PGIP support.David Aspinall
2004-04-13Mention plan to use CEDET.David Aspinall
2004-04-13Tweak disabling of X-Symbol packages to allow user toDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 10:32:02 +0000