diff options
| author | Brian Campbell | 2020-06-10 21:33:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-06-10 21:38:06 +0100 |
| commit | d2b4a7a1d654cf8f315e2471b1470506255f3d68 (patch) | |
| tree | 607a709d4912b80a7eb3966ad88a25d7b7bd159c /doc/tutorial.tex | |
| parent | 18719e6801e804c4f5302745bb7cfb6dfe3a6c98 (diff) | |
Prepare Coq library for packaging
- rename files to get rid of prefix
- use -Q to get package name right
- add Base.v to make package imports simpler
- add opam file for coq package
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions