| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-01-31 | [makefile] Ignore _build_boot directory | Emilio Jesus Gallego Arias |
| 2019-12-16 | FIND_SKIP_DIRS (make): ignore all dot directories | Gaëtan Gilbert |
| 2019-12-16 | [make] Add _build_boot to find_skip_dirs | Emilio Jesus Gallego Arias |
| 2019-12-13 | [make] Rename Makefile to Makefile.make | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/Makefile.make