aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Collapse)AuthorAge
* Don't depend on the submodule; copy-paste insteadGravatar Jason Gross2016-07-20
|
* Add a separate non-specific targetGravatar Jason Gross2016-07-20
| | | | | | | | This should fix #27. We depend on some files in the etc/coq-scripts submodule. Note that you need to either run `make cleanall -k` or `rm -f Makefile.coq` after pulling this to build the development.
* Add target for .dir-locals.elGravatar Jason Gross2016-07-20
| | | | | | This fixes #31 Thanks @cpitclaudel!
* Update .gitignoreGravatar Jason Gross2016-07-10
|
* Add more caches to .gitignore (nra, csdp)Gravatar Jason Gross2016-07-01
|
* Update .gitignore with lia, nia cachesGravatar Jason Gross2016-07-01
|
* Update .gitignoreGravatar Jason Gross2016-06-27
|
* Merge with plv/masterGravatar Robert Sloan2016-06-22
|\
* | nicer verify() derivation starterGravatar Andres Erbsen2016-06-22
| | | | | | | | | | | | Added base types for Qhasm emacs gitignore
* | Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-06-22
| | | | | | | | | | | | | | | | 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.).
| * Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10
| | | | | | | | | | | | 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.
| * Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
|/ | | | | | | | 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.).
* simple refactor of makefile; commentsGravatar varomodt2016-01-09
|
* Tiny module-system tweaks in PointFormatsGravatar Adam Chlipala2015-10-28
|
* Got most of the way through new GaloisField codeGravatar Adam Chlipala2015-09-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 19:48:05 +0000