proof-general/coq/coqtags, branch master Emacs plugins for proof management systems fix coqtags that can't find some theorem and output empty definition name 2019-07-25T02:39:01+00:00 Yu-Fu Fu 2019-07-25T02:39:01+00:00 fa412e1c74cd82dbd15524b44659ca465006f619 






Support the Variant vernacular
2018-08-17T15:50:57+00:00

Tej Chajed

2018-08-17T15:50:57+00:00

5c27e4a9398cb366e087594dd1c72e4c084fae01

Syntactically looks much like an Inductive, though it is non-recursive
so "where" (mutual recursion) is not supported.





Syntactically looks much like an Inductive, though it is non-recursive
so "where" (mutual recursion) is not supported.







serveral coqtags fixes and improvements
2017-02-27T13:49:11+00:00

Hendrik Tews

2017-02-27T13:49:11+00:00

a424cf37d41c7d9c7443132a385b89f3947bc708

- precise tags for definitions
- fix bug with nonempty white space lines
- add several keywords (Proposition, Record, ...)
- generate tags for constructors of inductive definitions
  and for record labels





- precise tags for definitions
- fix bug with nonempty white space lines
- add several keywords (Proposition, Record, ...)
- generate tags for constructors of inductive definitions
  and for record labels







fix coqtags
2017-01-17T15:58:01+00:00

Hendrik Tews

2017-01-17T14:55:13+00:00

94439d50451ad4a3e14c705dc2774c76e6530074

@psteckler I believe you have this patch already in your branch.





@psteckler I believe you have this patch already in your branch.







Make shell and perl scripts executable.
2016-09-19T16:35:56+00:00

Erik Martin-Dorel

2016-09-19T16:35:56+00:00

b219fc3a64062c0a76daba7512acb1439b4965d1

This addresses part of the issues pointed out in #112





This addresses part of the issues pointed out in #112







Default to /usr/bin/perl
2002-06-08T02:13:22+00:00

David Aspinall

2002-06-08T02:13:22+00:00

9e77c4e4b89719bf1bdd8b6948ee06acc5bdaeb9












Note about alternative path to perl
2000-10-02T17:58:02+00:00

David Aspinall

2000-10-02T17:58:02+00:00

2812fcfd86e6a6f1fb108b9071e7e0b7ceff928c












Make default path to perl be /usr/bin/perl
2000-09-29T14:15:32+00:00

David Aspinall

2000-09-29T14:15:32+00:00

c8fadf72b17715f8bbcfb2b389b73406c0130587












Added Uncaught exception errors in coq-error-regexp.
2000-09-29T12:17:10+00:00

Pierre Courtieu

2000-09-29T12:17:10+00:00

63000d541743e839c62be74af1158f241124ba42












Spurious newline causing patch to fall over.
2000-05-25T20:13:43+00:00

David Aspinall

2000-05-25T20:13:43+00:00

e8c46b475e6181cd4b532335c71aa0a66b9e3252