aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* Never use special chars with >= coq-8.1.Gravatar Pierre Courtieu2007-05-10
* Fixed coq prog persistent setting.Gravatar Pierre Courtieu2007-05-10
* x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;Gravatar Makarius Wenzel2007-05-08
* undo: removed confusing comment;Gravatar Makarius Wenzel2007-05-08
* tuned cannot-undo;Gravatar Makarius Wenzel2007-05-08
* added isar-cmd-sledgehammer;Gravatar Makarius Wenzel2007-05-08
* tuned Isabelle entry;Gravatar Makarius Wenzel2007-05-08
* tuned pg-special-char-regexp;Gravatar Makarius Wenzel2007-05-08
* Make proof-shell-unicode non-nil by defaultGravatar David Aspinall2007-04-30
* Experimenting smarter window creation when in three windowsGravatar Pierre Courtieu2007-04-27
* Fixing auto shrink in coq three window mode, to avoid windowGravatar Pierre Courtieu2007-04-26
* Fixed the "Time Qed." mistreating (now recognized as a save commandGravatar Pierre Courtieu2007-04-26
* Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MGravatar Pierre Courtieu2007-04-26
* Small fixes.Gravatar Pierre Courtieu2007-04-25
* small coloring fix.Gravatar Pierre Courtieu2007-04-23
* Fixed bug 111. Scroll response window to see goal and as muchGravatar Pierre Courtieu2007-04-23
* Fixing bug 110 for SearchRewrite en SearchAbout coq commends.Gravatar Pierre Courtieu2007-04-23
* Adapting last features to fsf emacs.Gravatar Pierre Courtieu2007-04-23
* Clean comments around eval-and-compile proof-modeGravatar David Aspinall2007-04-23
* Added things in CHANGES.Gravatar Pierre Courtieu2007-04-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 05:21:10 +0000