diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-12-15 11:05:28 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-12-15 11:06:03 +0100 |
commit | a423f633e6a41ab680a51e3af320056bde249584 (patch) | |
tree | 4704db948f780b9158677d3ef435e2b7c747e744 /generic/proof-unicode-tokens.el | |
parent | e3cc66dc2e60683531d75c12256d059ccbc64576 (diff) |
Improve doc on coq project file
... following the discussion in github on 32fea19d1bb66593e469b1a8e6ad38f3ae1714bf
Diffstat (limited to 'generic/proof-unicode-tokens.el')
0 files changed, 0 insertions, 0 deletions