aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* fixed minor bugsGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Renamed proof-invisible-command proof-shell-invisible-command.Gravatar David Aspinall1998-10-27
* Change to proof-shell-ready-proverGravatar David Aspinall1998-10-26
* Added proof-mode-for-script setting.Gravatar David Aspinall1998-10-23
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
* Removed coq-settings defgroup, changed to coq.Gravatar David Aspinall1998-10-07
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Replaced string COMMENT by constant proof-no-command.Gravatar David Aspinall1998-10-01
* coqtags is now Perl5 compatible - courtesy of hhgGravatar Thomas Kleymann1998-10-01
* Example file suggested by Healf.Gravatar David Aspinall1998-09-23
* Removed historyGravatar David Aspinall1998-09-23
* Removed history, added branding.Gravatar David Aspinall1998-09-23
* Fixed docstrings for derived modesGravatar David Aspinall1998-09-22
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Fixup branch numberGravatar David Aspinall1998-09-09
* Added some defcustom supportGravatar David Aspinall1998-09-03
* Added Isabelle example and skeleton for Coq and Lego.Gravatar David Aspinall1998-09-03
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 07:09:22 +0000