diff options
| author | Prashanth Mundkur | 2019-01-14 17:35:43 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2019-01-14 17:41:31 -0800 |
| commit | a5e2b3b7411f630b6d2337402330e13862b5666a (patch) | |
| tree | 9508a6ed5e97f3128201854bc77a9e64b0971314 /doc | |
| parent | a3da2efb3ef08e132e16db0c510b1b8fe4ee600c (diff) | |
Add options for output directories for the lem and coq backends.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions