diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-28 16:08:14 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-28 16:08:14 +0200 |
| commit | e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0 (patch) | |
| tree | 0c491f3042742601df2119e8b72312df74df7979 /src/trace/smtCommands.ml | |
| parent | b3f7d3361fac0d1771e6ea3eb277ad858ce38760 (diff) | |
| download | smtcoq-e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0.tar.gz smtcoq-e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0.zip | |
Updated the installation instructions
Diffstat (limited to 'src/trace/smtCommands.ml')
0 files changed, 0 insertions, 0 deletions