diff options
| author | Ali Caglayan | 2020-08-25 14:43:41 +0200 |
|---|---|---|
| committer | Ali Caglayan | 2020-08-25 14:43:41 +0200 |
| commit | 7da4b8df48d959297e1e4f9e6cc508cf1f0b8be0 (patch) | |
| tree | 2ea4e7360329c38c090f621cef93c2d1e77603a3 /dev | |
| parent | c7947b41fb2bb989602efc30341525da4efab7e5 (diff) | |
added coq.vernac dependency to string_notations plugin
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions