diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-11-06 20:24:34 +0100 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-11-06 20:38:26 +0100 |
| commit | dc28a36ee4b5f673e875b3435618d60d63cf8bea (patch) | |
| tree | fe66089189ce111b3a75ba1d4aa9836b909da5ac /src/verit/veritParser.mly | |
| parent | e2173b71befd81885743e9fe9cd77017d329a0ac (diff) | |
| download | smtcoq-dc28a36ee4b5f673e875b3435618d60d63cf8bea.tar.gz smtcoq-dc28a36ee4b5f673e875b3435618d60d63cf8bea.zip | |
Update INSTALL.md
the opam way of installing is deprecated (at least for the moment)
Diffstat (limited to 'src/verit/veritParser.mly')
0 files changed, 0 insertions, 0 deletions