aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-09-07Don't try to compile obsolete twelf Emacs code.David Aspinall
2009-09-07Update for 4.0 and shorten.David Aspinall
2009-09-07(C) dateDavid Aspinall
2009-09-07Fix compile warnings and ensure compiled code behaves as expected.David Aspinall
2009-09-07Fix compile warning, rearrange docsDavid Aspinall
2009-09-07Require cl for compilation. Rearrange docs.David Aspinall
2009-09-07Attempt byte compilation only for emacs lisp!David Aspinall
2009-09-07isar-preprocessing: remove unnecessary save-match-data.David Aspinall
2009-09-07Remove \t in \<inverse> expansion.David Aspinall
2009-09-07Remove \t in \<module> expansion.David Aspinall
2009-09-07Fix compile warningsDavid Aspinall
2009-09-07WhitespaceDavid Aspinall
2009-09-07(C) dateDavid Aspinall
2009-09-07mapcar -> dolistDavid Aspinall
2009-09-07Require cl for compilationDavid Aspinall
2009-09-07Missing requireDavid Aspinall
2009-09-07Fix typosDavid Aspinall
2009-09-07Update for Unicode Tokens.David Aspinall
2009-09-07Add documentation to explain usage.David Aspinall
2009-09-07Use extended form of define-minor-modeDavid Aspinall
2009-09-07Add template auto-insert hookDavid Aspinall
2009-09-07Calculate token match regexp in a more complex way in an attempt toDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06Prevent compiler warningsDavid Aspinall
2009-09-06Fix compile warnings, remove some XEmacs-ismsDavid Aspinall
2009-09-06Obsolete filesDavid Aspinall
2009-09-06proof-buffer-syntactic-context-emulate: use caching syntax-ppssDavid Aspinall
2009-09-06TypoDavid Aspinall
2009-09-06Prevent compile warningsDavid Aspinall
2009-09-06Avoid easy-menu-define macroDavid Aspinall
2009-09-06WhitespaceDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06Remove unused subterm markup codeDavid Aspinall
2009-09-06Configuration changes for shell mode revision.David Aspinall
2009-09-06Move holes menu to holes modeDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06Make sure proof-shell-last-output is non-nilDavid Aspinall
2009-09-06pg-add-element: unbound var in debugDavid Aspinall
2009-09-06Make sure proof-shell-last-output, proof-shell-last-prompt andDavid Aspinall
2009-09-06Reorganisation to avoid generating many intermediate strings fromDavid Aspinall
2009-09-06Include macros for compileDavid Aspinall
2009-09-06Compile with cl. Fix typo.David Aspinall
2009-09-06proof-clean-buffer: inhibit read onlyDavid Aspinall
2009-09-06Change type of proof-shell-process-file, proof-shell-compute-new-files-listDavid Aspinall
2009-09-06Fix compile warningsDavid Aspinall
2009-09-06Remove noweb file, seems buggy.David Aspinall
2009-09-06Add after save hook and convenient key binding to compile on saveDavid Aspinall
2009-09-06Supress spurious warningsDavid Aspinall
2009-09-06More defun->defsubst changesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:21:27 +0000