aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-09-04Disable buffer truncation for nowDavid Aspinall
2009-09-04VersionDavid Aspinall
2009-09-04Add proof-script-evaluate-elisp-comment-regexp security hole.David Aspinall
2009-09-04Add Elisp timingsDavid Aspinall
2009-09-04TimingDavid Aspinall
2009-09-04Profile more of the codeDavid Aspinall
2009-09-04UpdatedDavid Aspinall
2009-09-04fixed theory name;Makarius Wenzel
2009-09-04Add timing messagesDavid Aspinall
2009-09-04Require on scomint in right placeDavid Aspinall
2009-09-04proof-file-to-buffer -> find-buffer-visitingDavid Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
2009-09-04Add text_rawDavid Aspinall
2009-09-04Define some keys.David Aspinall
2009-09-04Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-endDavid Aspinall
2009-09-04proof-looking-at-syntactic-context: moved to proof-utils because of macro useDavid Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
2009-09-04Hide echoDavid Aspinall
2009-09-04Remove configuration of obsolete package function-menu (aka "fume")David Aspinall
2009-09-04Remove configuration of obsolete package function-menu (aka "fume")David Aspinall
2009-09-04require 'cl -> eval-when-compileDavid Aspinall
2009-09-04Possible bug in interrupt signaling discoveredDavid Aspinall
2009-09-04capitalisationDavid Aspinall
2009-09-04Further simplificationDavid Aspinall
2009-09-04Simplify splash using view-mode and newer Emacs variables.David Aspinall
2009-09-04Remove left over comint-ismsDavid Aspinall
2009-09-04Refactoring point movement commands (in progress). Remove proof-no-command.David Aspinall
2009-09-04Support for Emacs22David Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-04commentDavid Aspinall
2009-09-04Use scomint instead of comintDavid Aspinall
2009-09-04Remove further unnecessary compatibility code.David Aspinall
2009-09-04Profile settingsDavid Aspinall
2009-09-04Trimmed down comintDavid Aspinall
2009-09-03Remove objectionable |> shortcut for Isar hackersDavid Aspinall
2009-09-03Shorten startup messageDavid Aspinall
2009-09-03output-font-lock-keywords: remove unnecessary bracketsDavid Aspinall
2009-09-03Fix font-lock output keywords for tvars starting ?'David Aspinall
2009-09-02Isabelle2008 compatibility;Makarius Wenzel
2009-09-02proper backslash escape;Makarius Wenzel
2009-09-01Pointers for Mac supportDavid Aspinall
2009-09-01Set version tag for new release.David Aspinall
2009-09-01UpdatesDavid Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2009-09-01Attempt to make compatible with Mac OS X port of Emacs 23.David Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2009-09-01Remove some old X-Symbol references; update docs.David Aspinall
2009-09-01Spurious 'isabelle ref.David Aspinall
2009-09-01Remove (commented out) x-symbol configurationDavid Aspinall
2009-09-01Comment about GNU Emacs portDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 12:42:54 +0000