diff options
| author | Hendrik Tews | 2011-01-28 20:34:54 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-28 20:34:54 +0000 |
| commit | 2735c59acbebd31f9a23a43cbdc0ab0390e59146 (patch) | |
| tree | 5fe6241388685310b0b76cbe1e8818291ec9bf33 /FAQ | |
| parent | a3f9c00ce72b791d59218b89d4c6179e2135bbeb (diff) | |
- use low-level compilation interface for external coq
compilation with our own customization variables
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions