aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
1999-10-06Fixed proof-showproof-commandDavid Aspinall
1999-10-06Fixed coq-interrupt-regexp.David Aspinall
1999-10-06Remove coq-Search function, now generic.David Aspinall
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-10-01Disable proof-help-string, was set to an invalid command.David Aspinall
1999-09-24unified example with other proof assistants;Makarius Wenzel
1999-09-23Set proof-find-theorems-commandDavid Aspinall
1999-09-22proof-completed-regexp: match number 1 is response text;Makarius Wenzel
1999-09-13Failed attempt to prevent Coq from starting up with display of current direct...David Aspinall
1999-09-13Cleaned up example files so all demonstrate same theorem "conj_comms".David Aspinall
1999-09-13Set proof-{qed,save}-commands.David Aspinall
1999-08-23Updated from Coq 6.3 distrib.David Aspinall
1999-08-23Updates suggested by Markus and Patrick for Coq 6.3.David Aspinall
1999-07-02fixed some regexp via proof-anchor-regexp;Makarius Wenzel
1999-06-30Missing parentheses added. Docstring fix.David Aspinall
1999-06-30last commit for 2.1Patrick Loiseleur
1999-06-30keywords of coq 6.3Patrick Loiseleur
1999-06-21Hints ResolvePatrick Loiseleur
1999-06-16better syntaxPatrick Loiseleur
1999-06-14Various updates. coq-end-Section now works properly.Patrick Loiseleur
1999-06-09More colors, more regexps, more keywordsPatrick Loiseleur
1999-06-08various fixesPatrick Loiseleur
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
1999-05-26closed string in comment;Makarius Wenzel
1999-05-17I've added the custom option 'prog-name-guess' in the generic part andPatrick Loiseleur
1999-05-17several additions, as usualPatrick Loiseleur
1999-05-03OrElse -> OrelsePatrick Loiseleur
1999-05-03proof-list-global is disabled (must be rewritten)Patrick Loiseleur
1999-04-20Added the correct proof-shell-restart-cmdPatrick Loiseleur
1999-04-20A few coloring tricksPatrick Loiseleur
1999-04-07Merged changes sent by Patrick Loiseleur.David Aspinall
1999-02-22Comments from Healf explaining need for coq-goal-command-pDavid Aspinall
1999-02-03fixed syntax entry for "_"Thomas Kleymann
1999-02-01Use proof-string-match in (hopefully) appropriate placesDavid Aspinall
1998-12-15radical new version of Credits and References sectionThomas Kleymann
1998-12-15made many minor changes to the documentationThomas Kleymann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 12:41:05 +0000