Thomas Wood
authored
Freeze lambda ml files, remove .ml from clean steps of Makefile and tidy dependency generation. Include ExtrOcamlBasic so Coq_bool is extracted to bool (and lists, etc) This partially reverts commit 32dab984b1e0450013018f6565768409fa4697cd.
| Name | Last commit | Last update |
|---|---|---|
| generator | ||
| jquery-ui-1.11.4.custom | ||
| jquery_scroll | ||
| Makefile | ||
| convert-ml-strings.pl | ||
| demo_trace.js | ||
| interp.js | ||
| ml-add-cstr-annots.pl | ||
| navig.html | ||
| navig.js | ||
| source.js | ||
| sparray.js | ||
| test.html |