diff options
| author | Robert Norton | 2019-01-22 15:43:52 +0000 |
|---|---|---|
| committer | Robert Norton | 2019-01-22 15:44:30 +0000 |
| commit | a1bb96154e800796250af39f598ed39823fa0de0 (patch) | |
| tree | 2cfce57f589973bb857ed71a6c951a2165e3ac54 /src/optimize.ml | |
| parent | d7c68715687a4a65129cafaa10b9c0e0b89c5897 (diff) | |
Build isabelle and hol files in lib from lem before opam install.
Diffstat (limited to 'src/optimize.ml')
0 files changed, 0 insertions, 0 deletions