aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Require unicode-tokens during compile.Gravatar David Aspinall2009-09-07
* scomint-check-proc: make defsubstGravatar David Aspinall2009-09-07
* Attempt to handle splash buffer cleanly.Gravatar David Aspinall2009-09-07
* Revert change in 10.26 to use defpacustom after all, this givesGravatar David Aspinall2009-09-07
* Fix initialisation of isar-use-find-theorems-form in compiled file.Gravatar David Aspinall2009-09-07
* require proof-site also at startupGravatar David Aspinall2009-09-07
* lego-shell-process-output -> lego-shell-classify-outputGravatar David Aspinall2009-09-07
* Requires processed more often (experiment)Gravatar David Aspinall2009-09-07
* Fix compiler warningsGravatar David Aspinall2009-09-07
* isar-use-find-theorems-form: use defcustom, not defpacustomGravatar David Aspinall2009-09-07
* Fix compiler warningsGravatar David Aspinall2009-09-07
* Fix compiler warnings.Gravatar David Aspinall2009-09-07
* Isabelle->isabelle binary. Remove Isar homepage.Gravatar David Aspinall2009-09-07
* Don't try to compile obsolete twelf Emacs code.Gravatar David Aspinall2009-09-07
* Update for 4.0 and shorten.Gravatar David Aspinall2009-09-07
* (C) dateGravatar David Aspinall2009-09-07
* Fix compile warnings and ensure compiled code behaves as expected.Gravatar David Aspinall2009-09-07
* Fix compile warning, rearrange docsGravatar David Aspinall2009-09-07
* Require cl for compilation. Rearrange docs.Gravatar David Aspinall2009-09-07
* Attempt byte compilation only for emacs lisp!Gravatar David Aspinall2009-09-07
* isar-preprocessing: remove unnecessary save-match-data.Gravatar David Aspinall2009-09-07
* Remove \t in \<inverse> expansion.Gravatar David Aspinall2009-09-07
* Remove \t in \<module> expansion.Gravatar David Aspinall2009-09-07
* Fix compile warningsGravatar David Aspinall2009-09-07
* WhitespaceGravatar David Aspinall2009-09-07
* (C) dateGravatar David Aspinall2009-09-07
* mapcar -> dolistGravatar David Aspinall2009-09-07
* Require cl for compilationGravatar David Aspinall2009-09-07
* Missing requireGravatar David Aspinall2009-09-07
* Fix typosGravatar David Aspinall2009-09-07
* Update for Unicode Tokens.Gravatar David Aspinall2009-09-07
* Add documentation to explain usage.Gravatar David Aspinall2009-09-07
* Use extended form of define-minor-modeGravatar David Aspinall2009-09-07
* Add template auto-insert hookGravatar David Aspinall2009-09-07
* Calculate token match regexp in a more complex way in an attempt toGravatar David Aspinall2009-09-07
* UpdatedGravatar David Aspinall2009-09-06
* Prevent compiler warningsGravatar David Aspinall2009-09-06
* Fix compile warnings, remove some XEmacs-ismsGravatar David Aspinall2009-09-06
* Obsolete filesGravatar David Aspinall2009-09-06
* proof-buffer-syntactic-context-emulate: use caching syntax-ppssGravatar David Aspinall2009-09-06
* TypoGravatar David Aspinall2009-09-06
* Prevent compile warningsGravatar David Aspinall2009-09-06
* Avoid easy-menu-define macroGravatar David Aspinall2009-09-06
* WhitespaceGravatar David Aspinall2009-09-06
* UpdatedGravatar David Aspinall2009-09-06
* UpdatedGravatar David Aspinall2009-09-06
* Remove unused subterm markup codeGravatar David Aspinall2009-09-06
* Configuration changes for shell mode revision.Gravatar David Aspinall2009-09-06
* Move holes menu to holes modeGravatar David Aspinall2009-09-06
* UpdatedGravatar David Aspinall2009-09-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 07:14:21 +0000