aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...Gravatar Christophe Raffalli2006-02-24
* made coq error regexp more preciseGravatar Pierre Courtieu2006-02-16
* Set version tag for new release.Gravatar David Aspinall2006-02-14
* NoteGravatar David Aspinall2006-02-14
* CommentsGravatar David Aspinall2006-02-14
* Add example settings for coq-prog-args and coq-prog-envGravatar David Aspinall2006-02-14
* Revert use of 'raw-text for coding-system-for-read/write since it changes beh...Gravatar David Aspinall2006-02-14
* Add back lost editsGravatar David Aspinall2006-02-14
* Add <PA>-prog-args and <PA>-prog-envGravatar David Aspinall2006-02-14
* support nested blocks of super/sub-script, but only the outermost levelGravatar Makarius Wenzel2006-02-13
* isar-preprocessing: replace \n by \<^newline>;Gravatar Makarius Wenzel2006-02-12
* isar-goals-font-lock-keywords: "abbreviations";Gravatar Makarius Wenzel2006-02-10
* Cleanup version testing, prevent crash in case version string doesn't match.Gravatar David Aspinall2006-02-09
* typo in coq.el for regexp of sections.Gravatar Pierre Courtieu2006-01-28
* Fix from PaulGravatar David Aspinall2006-01-27
* commit of a small patch from Stefan Monnier, to fix a small bug ofGravatar Pierre Courtieu2006-01-10
* PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel...Gravatar David Aspinall2006-01-09
* Fix for coloured face specs on AquaemacsGravatar David Aspinall2006-01-08
* added \<setminus>;Gravatar Makarius Wenzel2006-01-05
* added some keyword to coq tacics.Gravatar Pierre Courtieu2005-11-28
* Added Module/EndGravatar David Aspinall2005-11-25
* Fix Pierre's emailGravatar David Aspinall2005-11-25
* actually revert to revision 8.15;Gravatar Makarius Wenzel2005-11-14
* Added holes to "math...with" generation from a type name.Gravatar Pierre Courtieu2005-11-09
* backtracking my change on functionGravatar Pierre Courtieu2005-11-09
* TypoGravatar David Aspinall2005-11-08
* added match...with automatic building from atype name.Gravatar Pierre Courtieu2005-11-07
* bug fixGravatar Christophe Raffalli2005-10-20
* added lock and unlock for unification variablesGravatar Christophe Raffalli2005-10-12
* Set version tag for new release.Gravatar David Aspinall2005-10-04
* Make install-bin also install Isabelle and Lego scriptsGravatar David Aspinall2005-10-04
* UpdatedGravatar David Aspinall2005-09-30
* Set version tag for new release.Gravatar David Aspinall2005-09-30
* Fix multiple Isabelle submenus on mode popup.Gravatar David Aspinall2005-09-30
* Update xml.el issueGravatar David Aspinall2005-09-30
* Dont overwrite distribution version of xml.el, only use fixed version for XEm...Gravatar David Aspinall2005-09-30
* Updated.Gravatar David Aspinall2005-09-30
* Renamed fileGravatar David Aspinall2005-09-30
* Renamed fileGravatar David Aspinall2005-09-30
* Comments.Gravatar David Aspinall2005-09-30
* Remove proof-assistant-settings-cmd, now issued as standard.Gravatar David Aspinall2005-09-30
* Remove proof-shell-init-cmdGravatar David Aspinall2005-09-30
* Add more user preferences, fix existing ones.Gravatar David Aspinall2005-09-30
* Issue proof-assistant-settings-cmd standardly after init cmd.Gravatar David Aspinall2005-09-30
* Rename PGIP packet attribute origin -> tagGravatar David Aspinall2005-09-30
* old specials are recogized again;Gravatar Makarius Wenzel2005-09-28
* negotiate PGASCII only for proof-shell-unicode;Gravatar Makarius Wenzel2005-09-28
* Make robust against missing advice packageGravatar David Aspinall2005-09-28
* Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...Gravatar David Aspinall2005-09-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 12:54:45 +0000