aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Choose Emacs instead of XEmacsGravatar David Aspinall2007-03-04
* Set version tag for new release.Gravatar David Aspinall2007-03-04
* Updated.Gravatar David Aspinall2007-03-03
* Tweaks to bugs sectionGravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)Gravatar David Aspinall2007-03-03
* Remove old Isabelle section and references to it; clean up and streamline Isa...Gravatar David Aspinall2007-03-03
* Switch to 3.7preGravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Use replace-regexp instead of proof-replace-regexp to clean charsGravatar David Aspinall2007-03-03
* Patch for XEmacs 21.5 beta match-replace bugGravatar David Aspinall2007-03-03
* Remove proof-indent-pad-eol atrocityGravatar David Aspinall2007-02-28
* Updated.Gravatar David Aspinall2007-02-28
* Fix commentGravatar David Aspinall2007-02-28
* Renamed fileGravatar David Aspinall2007-02-28
* Note on sudo and cp -p clashGravatar David Aspinall2007-02-27
* Mention prefer-coding-system as suggested by Florian HaftmannGravatar David Aspinall2007-02-22
* New files.Gravatar David Aspinall2007-02-08
* Patch x-symbol problem with XEmacs betaGravatar David Aspinall2007-01-20
* Correct mail domainGravatar David Aspinall2007-01-20
* Tweak.Gravatar David Aspinall2007-01-20
* Comment about undo; useGravatar David Aspinall2007-01-10
* Set version tag for new release.Gravatar David Aspinall2007-01-09
* Demonstrate faulty error reporting. Somewhat obscure, unless someGravatar David Aspinall2007-01-03
* Add FAQ on funny symbols/x-symbol problemsGravatar David Aspinall2007-01-03
* Compatibility notesGravatar David Aspinall2007-01-03
* tuned;Gravatar Makarius Wenzel2006-12-30
* Added some keywords ("Declare Module Import"...).Gravatar Pierre Courtieu2006-12-22
* Remove thy-mode from isaGravatar David Aspinall2006-12-20
* Remove isa dirGravatar David Aspinall2006-12-20
* Set version tag for new release.Gravatar David Aspinall2006-12-20
* Support older version of define-minor-modeGravatar David Aspinall2006-12-19
* Added completion to coq-prog-name asking.Gravatar Pierre Courtieu2006-12-13
* Fixed keyboard shortcuts.Gravatar Pierre Courtieu2006-12-12
* Fixed coq 8.0 compatibility and coq version detection.Gravatar Pierre Courtieu2006-12-12
* Set version tag for new release.Gravatar David Aspinall2006-12-11
* Update, note about Isabelle 2004Gravatar David Aspinall2006-12-11
* back again for isar;Gravatar Makarius Wenzel2006-12-07
* isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in p...Gravatar Makarius Wenzel2006-12-07
* removed obsolete references to 'isa';Gravatar Makarius Wenzel2006-12-07
* proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Gravatar Makarius Wenzel2006-12-07
* New files.Gravatar David Aspinall2006-12-05
* Deleted fileGravatar David Aspinall2006-12-05
* X-Symbol config. Moved from isa/Gravatar David Aspinall2006-12-05
* Use Isar-specific isabelle-system fileGravatar David Aspinall2006-12-05
* Set version tag for new release.Gravatar David Aspinall2006-11-07
* isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua...Gravatar Makarius Wenzel2006-11-04
* isar-strip-terminators, isar-detect-begin: proof-search-forward;Gravatar Makarius Wenzel2006-11-04
* New files.Gravatar David Aspinall2006-10-29
* Updated.Gravatar David Aspinall2006-10-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 05:26:46 +0000