Mercurial > cpdt > repo
comparison src/Intro.v @ 546:306539f29eea
Make specially licensed versions of lib files for cpdtlib.tgz.
This adds an ocaml tool and calls to it in the Makefile.
author | Arthur Peters <amp@singingwizard.org> |
---|---|
date | Thu, 12 May 2016 18:09:36 -0500 |
parents | 71b85aaae868 |
children | 16d701d4bd82 |
comparison
equal
deleted
inserted
replaced
545:4f6e7bab0d45 | 546:306539f29eea |
---|