diff options
| author | Pierre Courtieu | 2015-11-02 14:54:56 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-11-02 14:56:15 +0100 |
| commit | 8260bc52e829f21a664c13c4b1c5b70a8b0ee048 (patch) | |
| tree | cf5d7a1b300aa7045448ec09b08996a52d8f6834 /isar/Example.thy | |
| parent | e557f0dc6bd679b012758294206866ae57e3f76c (diff) | |
coq-pre-v85 option to fix coqdep invocation in [compile before require].
Command line options changed heavily betwenn 8.4 and 8.5. We need an
option to force V8.4 in some cases, mainly to infer the right
coqtop/coqdep invocations.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions