Initial release
What's Changed
* Allow the minimizer to work when only -Q is passed by JasonGross in https://github.com/JasonGross/coq-tools/pull/43
* Add more versions of Coq to test by JasonGross in https://github.com/JasonGross/coq-tools/pull/44
* Add more versions of Coq to test by JasonGross in https://github.com/JasonGross/coq-tools/pull/49
* By default, don't be so strict about whitespace by JasonGross in https://github.com/JasonGross/coq-tools/pull/47
* Remove more instances of the Admit module by JasonGross in https://github.com/JasonGross/coq-tools/pull/48
* Use Python3 rather than Python2 by JasonGross in https://github.com/JasonGross/coq-tools/pull/51
* Start using github actions by JasonGross in https://github.com/JasonGross/coq-tools/pull/53
* Fix for duplication of vernac under -time by JasonGross in https://github.com/JasonGross/coq-tools/pull/64
* `filename_of_lib` now prefers existing files by JasonGross in https://github.com/JasonGross/coq-tools/pull/66
* If inlining files, adjust imports as necessary by JasonGross in https://github.com/JasonGross/coq-tools/pull/72
* Force `False` axiom in `Prop` by JasonGross in https://github.com/JasonGross/coq-tools/pull/75
* Logging: different verbosities for different files by JasonGross in https://github.com/JasonGross/coq-tools/pull/77
* Prefer `Admitted` rather than `admit. Defined` by JasonGross in https://github.com/JasonGross/coq-tools/pull/80
* Minor simplification by JasonGross in https://github.com/JasonGross/coq-tools/pull/83
* Factor some use of glob files by JasonGross in https://github.com/JasonGross/coq-tools/pull/82
* Run `normalize_requires` inside `minimize_file` by JasonGross in https://github.com/JasonGross/coq-tools/pull/84
* Add a pass that splits `Require` by JasonGross in https://github.com/JasonGross/coq-tools/pull/85
* Fix test for coqtop -compile, Make example_08-3 always run by JasonGross in https://github.com/JasonGross/coq-tools/pull/90
* Move some functions around so diagnose_error can use group_coq_args by JasonGross in https://github.com/JasonGross/coq-tools/pull/93
* Since coqc doesn't respect -topname, we build the directory tree by JasonGross in https://github.com/JasonGross/coq-tools/pull/94
* Fix definition splitting in Coq > 8.4 by JasonGross in https://github.com/JasonGross/coq-tools/pull/97
* Test 8.4 again by JasonGross in https://github.com/JasonGross/coq-tools/pull/98
* Add dev branches via docker action, retest 8.4 by JasonGross in https://github.com/JasonGross/coq-tools/pull/96
* Bump actions/setup-python from 1 to 2.3.1 by dependabot in https://github.com/JasonGross/coq-tools/pull/99
* adapt to coq/coq15220 by gares in https://github.com/JasonGross/coq-tools/pull/101
* Be more robust in absolutizing files by JasonGross in https://github.com/JasonGross/coq-tools/pull/104
* Bump actions/setup-python from 2.3.1 to 2.3.2 by dependabot in https://github.com/JasonGross/coq-tools/pull/109
* add color for success/nothing changed messages by Alizter in https://github.com/JasonGross/coq-tools/pull/114
* Bump actions/setup-python from 2.3.2 to 3 by dependabot in https://github.com/JasonGross/coq-tools/pull/115
* Bump actions/checkout from 2 to 3 by dependabot in https://github.com/JasonGross/coq-tools/pull/116
* Pass `KEEP_ERROR=1` unless coq_makefile is old by JasonGross in https://github.com/JasonGross/coq-tools/pull/117
* Bump actions/setup-python from 3 to 4 by dependabot in https://github.com/JasonGross/coq-tools/pull/120
* Add new versions of Coq to CI by JasonGross in https://github.com/JasonGross/coq-tools/pull/119
* Use default ocaml version in ci-dev by JasonGross in https://github.com/JasonGross/coq-tools/pull/125
* Split statements to definitions with passing coqc by JasonGross in https://github.com/JasonGross/coq-tools/pull/126
* Recreate directory structure by computing full topname by JasonGross in https://github.com/JasonGross/coq-tools/pull/127
* Use three digits rather than two for example numbering by JasonGross in https://github.com/JasonGross/coq-tools/pull/130
* Use three digits rather than two for example numbering by JasonGross in https://github.com/JasonGross/coq-tools/pull/132
* Add examples for 129 by JasonGross in https://github.com/JasonGross/coq-tools/pull/131
* Escape reserved keywords when inlining deps by JasonGross in https://github.com/JasonGross/coq-tools/pull/133
* Revert "Escape reserved keywords when inlining deps" by JasonGross in https://github.com/JasonGross/coq-tools/pull/135
* Use a different method to check for CI success by JasonGross in https://github.com/JasonGross/coq-tools/pull/136
* Start testing ex 20 and 49 again, improve test Makefile by JasonGross in https://github.com/JasonGross/coq-tools/pull/137
* Use yet a different method to check for CI success by JasonGross in https://github.com/JasonGross/coq-tools/pull/139
* Escape reserved keywords when inlining deps by JasonGross in https://github.com/JasonGross/coq-tools/pull/138
* Fix `--inline-coqlib`, add `--inline-prelude` by JasonGross in https://github.com/JasonGross/coq-tools/pull/144
* Fix splitting of help string by JasonGross in https://github.com/JasonGross/coq-tools/pull/151
* Fix handling of -vos flag by JasonGross in https://github.com/JasonGross/coq-tools/pull/152
* Don't use coq_makefile when --no-deps is passed by JasonGross in https://github.com/JasonGross/coq-tools/pull/157
* fix comment typo in import_util.py by JasonGross in https://github.com/JasonGross/coq-tools/pull/159
* [CI] Remove unsupported Python 2.7, add 3.11 by JasonGross in https://github.com/JasonGross/coq-tools/pull/160
* Add publications by JasonGross in https://github.com/JasonGross/coq-tools/pull/162
* Bump actions/checkout from 3 to 4 by dependabot in https://github.com/JasonGross/coq-tools/pull/163
* Merge docker workflow into ci.yml and add more versions of Coq by JasonGross in https://github.com/JasonGross/coq-tools/pull/167
* Add setup.py / pip packaging by JasonGross in https://github.com/JasonGross/coq-tools/pull/166
* Upload standalone to CI by JasonGross in https://github.com/JasonGross/coq-tools/pull/169
* Add infra for deploying to pip coq-tools on release by JasonGross in https://github.com/JasonGross/coq-tools/pull/168
New Contributors
* JasonGross made their first contribution in https://github.com/JasonGross/coq-tools/pull/43
* dependabot made their first contribution in https://github.com/JasonGross/coq-tools/pull/99
* gares made their first contribution in https://github.com/JasonGross/coq-tools/pull/101
* Alizter made their first contribution in https://github.com/JasonGross/coq-tools/pull/114
**Full Changelog**: https://github.com/JasonGross/coq-tools/commits/v0.0.1