aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Set version tag for new release.Gravatar David Aspinall2007-07-04
* Revert html target to not include dir (although it builds in dir)Gravatar David Aspinall2007-06-19
* New subdirs for htmlGravatar David Aspinall2007-06-19
* Fix broken texi magic strings.Gravatar David Aspinall2007-06-19
* Account for new default behaviour of texi2html, using subdir for manualsGravatar David Aspinall2007-06-19
* Fix commentGravatar David Aspinall2007-06-19
* Set version tag for new release.Gravatar David Aspinall2007-06-19
* isar-improper-regexp: include "prems";Gravatar Makarius Wenzel2007-06-14
* single-char-regexp: tuned symbol regexp;Gravatar Makarius Wenzel2007-06-14
* isar-font-lock-local: tuned symbol regexp;Gravatar Makarius Wenzel2007-06-14
* added information about optional "Find Theorems" form;Gravatar Makarius Wenzel2007-06-13
* reverted find theorems default from form to minibufferGravatar weber2007-06-11
* Updated.Gravatar David Aspinall2007-06-10
* New files.Gravatar David Aspinall2007-06-10
* Cleanup mac init, make it compile safeGravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-08
* Set version tag for new release.Gravatar David Aspinall2007-06-05
* Updated.Gravatar David Aspinall2007-05-25
* New files.Gravatar David Aspinall2007-05-25
* Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.Gravatar David Aspinall2007-05-25
* XEmacs 21.4.15 does not seem to know propertizeGravatar weber2007-05-17
* Comment on remove of proof-indent-pad-eolGravatar David Aspinall2007-05-15
* Clarify buf hist activation.Gravatar David Aspinall2007-05-15
* Fix renameGravatar weber2007-05-11
* Fix renameGravatar weber2007-05-11
* works with XEmacs now (ticket #115)Gravatar weber2007-05-11
* Fix renameGravatar David Aspinall2007-05-11
* Rename [proof]find-theorems -> isar-find-theoremsGravatar David Aspinall2007-05-11
* Renamed fileGravatar David Aspinall2007-05-11
* Renamed fileGravatar David Aspinall2007-05-11
* Experimental patch for unicode/mac supportGravatar David Aspinall2007-05-11
* Unicode patch, in progressGravatar David Aspinall2007-05-11
* Patch for MacGravatar David Aspinall2007-05-11
* New files.Gravatar David Aspinall2007-05-11
* Font from Norbert VoelkerGravatar David Aspinall2007-05-11
* Target for dfontGravatar David Aspinall2007-05-11
* Path for docstring-magicGravatar David Aspinall2007-05-10
* Fix library nameGravatar David Aspinall2007-05-10
* Set version tag for new release.Gravatar David Aspinall2007-05-10
* Disable unicode use on LEGO, uses escape prefixGravatar David Aspinall2007-05-10
* Note trac generic user pgemacs/pgemacsGravatar David Aspinall2007-05-10
* Add experimental find theorems form (not working on all Emacs yet)Gravatar David Aspinall2007-05-10
* Patch for utf-8 testGravatar David Aspinall2007-05-10
* Emulate find-coding-system for GNU EmacsGravatar David Aspinall2007-05-10
* New files.Gravatar David Aspinall2007-05-10
* Fix walk through example for Isabelle2007, including missing lineGravatar David Aspinall2007-05-10
* pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...Gravatar David Aspinall2007-05-10
* Add proof-replace-regexp-nocasefoldGravatar David Aspinall2007-05-10
* Fixed prompt regexp.Gravatar Pierre Courtieu2007-05-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 01:50:16 +0000