aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Added value_to_natYann Herklotz2020-01-241-3/+3
* Update Makefile and gitignoreYann Herklotz2019-11-041-7/+7
* Add Args change to MakefileYann Herklotz2019-11-041-1/+1
* Add Makefile and _CoqProjectYann Herklotz2019-11-041-0/+22