summaryrefslogtreecommitdiff
path: root/tests/hol4/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make good progress on generating code for HOL4Son Ho2023-06-041-0/+39