aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2002-08-29Updated.David Aspinall
2002-08-29Deleted files.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Remove mule-fonts thing, it breaks make magicDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Use tarfileDavid Aspinall
2002-08-29Fix typoDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Deleted files.David Aspinall
2002-08-29Remove isabelle image from splash screenDavid Aspinall
2002-08-29Observe EMACS environment variableDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Remove bogus fileDavid Aspinall
2002-08-29Update commentDavid Aspinall
2002-08-29Remove development noteDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Missing mkdirDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29pre 3.4 -> 3.5David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29UpdatedDavid Aspinall
2002-08-29Support dekstop entries for KDE and GNOME, tested in RedHat 7.3David Aspinall
2002-08-29Desktop file for KDE.David Aspinall
2002-08-29Search for isabelle binary in standard places.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 06:03:45 +0000