aboutsummaryrefslogtreecommitdiff
path: root/coq/coqtags
AgeCommit message (Expand)Author
2019-07-25fix coqtags that can't find some theorem and output empty definition nameYu-Fu Fu
2018-08-17Support the Variant vernacularTej Chajed
2017-02-27serveral coqtags fixes and improvementsHendrik Tews
2017-01-17fix coqtagsHendrik Tews
2016-09-19Make shell and perl scripts executable.Erik Martin-Dorel
2002-06-08Default to /usr/bin/perlDavid Aspinall
2000-10-02Note about alternative path to perlDavid Aspinall
2000-09-29Make default path to perl be /usr/bin/perlDavid Aspinall
2000-09-29Added Uncaught exception errors in coq-error-regexp.Pierre Courtieu
2000-05-25Spurious newline causing patch to fall over.David Aspinall
2000-05-25Revert to previous path for perl, better default for non-linux. Linux uses R...David Aspinall
2000-05-25Change default path to perlDavid Aspinall
1998-10-01coqtags is now Perl5 compatible - courtesy of hhgThomas Kleymann
1998-09-09Added Id to headers.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:21:28 +0000