Skip to content
Snippets Groups Projects
Commit 0b64793f authored by Thomas Wood's avatar Thomas Wood
Browse files

Revert perl rewrite for 'function' syntax. Freeze lambda ml files. 

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.
parent a0c900b0
Branches
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 20 additions and 51 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment