aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-09-04only hack proof-info-directory if it exists (doesnt for RPM version)David Aspinall
2002-09-04generic/proof-menu: move electric terminator, show specific; Help menu items ↵David Aspinall
only if prover configured.
2002-09-04New files.David Aspinall
2002-09-04don't use -q argument to emacsDavid Aspinall
2002-08-31Fix typo.David Aspinall
2002-08-31Fix typo.David Aspinall
2002-08-31Updated.David Aspinall
2002-08-31Set version tag for new release.David Aspinall
2002-08-31Documentation.David Aspinall
2002-08-31Doc new proof-zap-commasDavid Aspinall
2002-08-31Add -q to emacsDavid Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ↵David Aspinall
Monnier
2002-08-31Updated.David Aspinall
2002-08-31Updated.David Aspinall
2002-08-31Test inhibit-read-onlyDavid Aspinall
2002-08-31CommentsDavid Aspinall
2002-08-31Try to reduce contrast for highlighting faceDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30GNU Emacs: avoid using own-clipboardDavid Aspinall
2002-08-30Use old parser still for Isar for time being (see note in source)David Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Tidy displayDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Switch to using new parser by default. Disable fly-past-comments by default.David Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Set version tag for new release.David Aspinall
2002-08-30New files.David Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Dont restore window config if it seems like a different frame was used.David Aspinall
2002-08-30FormattingDavid Aspinall
2002-08-30Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs.David Aspinall
2002-08-30Strict read works on GNU Emacs 21.2.David Aspinall
2002-08-29Imenu addition, layout fixes, from Stefan MonnierDavid Aspinall
2002-08-29Layout/docstring improvements (based on patch from Stefan Monnier)David Aspinall
2002-08-29mPatch from Stefan Monnier [buffer-substring].David Aspinall
2002-08-29Patch for nested comments from Stefan Monnier.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Changes for development releaseDavid Aspinall
2002-08-29Missing tagDavid Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Add Stefan MonnierDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Remove proof-splash-extensionsDavid Aspinall
2002-08-29Try to avoid old setting proof-splash-extensions.David Aspinall
2002-08-29Make proof-splash-extensions defconst instead of defcustomDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Remove isabelle logoDavid Aspinall
2002-08-29Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 06:06:24 +0000