| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
| |
We're using tactics in terms in some places, and so have no hope of
compiling with Coq 8.4. We no longer pretend to support it.
We can probably also remove some other compatibility things, if we want.
|
| |
|
|
|
| |
This allows most users to not need to type COQPATH=... on make.
|
|
|
|
| |
Instructions for 8.4 build in the README
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
This simplifes the build process, and also allows us to try to build
with 8.5. We autodetect the version of Coq in the Makefile to decide
which version of coqprime to build.
|
|
|
|
|
|
|
|
| |
Removed all of the files not built by default; they can be resurrected from git
history. _CoqProject is the standard way to list the files in a project and to
give information to coq_makefile. COQPATH is the standard way to make use of
not-yet-installed libraries that are not part of your project (i.e., you don't
want to remove them when you `make clean`, etc.).
|
| |
|
| |
|
| |
|
|
|