aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
1998-11-12Added note about removing proof-goal-command-pDavid Aspinall
1998-11-10Removed references of proof-shell-noise-regexpThomas Kleymann
1998-11-03fixed bug with font-lock face namesThomas Kleymann
1998-11-02fixed minor bugsThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-27Renamed proof-invisible-command proof-shell-invisible-command.David Aspinall
1998-10-26Change to proof-shell-ready-proverDavid Aspinall
1998-10-23Added proof-mode-for-script setting.David Aspinall
1998-10-23Replaced remaining face defs with defface calls.David Aspinall
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-07Removed coq-settings defgroup, changed to coq.David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Replaced string COMMENT by constant proof-no-command.David Aspinall
1998-10-01coqtags is now Perl5 compatible - courtesy of hhgThomas Kleymann
1998-09-23Example file suggested by Healf.David Aspinall
1998-09-23Removed historyDavid Aspinall
1998-09-23Removed history, added branding.David Aspinall
1998-09-22Fixed docstrings for derived modesDavid Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-09Fixup branch numberDavid Aspinall
1998-09-03Added some defcustom supportDavid Aspinall
1998-09-03Added Isabelle example and skeleton for Coq and Lego.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 05:48:49 +0000