aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-syntax.el
AgeCommit message (Expand)Author
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-05-17several additions, as usualPatrick Loiseleur
1999-05-03OrElse -> OrelsePatrick 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
1998-11-12Added note about removing proof-goal-command-pDavid Aspinall
1998-11-03fixed bug with font-lock face namesThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-23Replaced remaining face defs with defface calls.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-09-23Removed historyDavid Aspinall
1998-09-09Fixup branch numberDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 05:12:36 +0000