Add submodule - Githubissues

UniMath / Schools

77 stars 21 forks source link

Add submodule #3

Closed DanGrayson closed 5 years ago

DanGrayson commented 5 years ago

add UniMath as a submodule and set up emacs so ProofGeneral will use it automatically.

Run "make" in the top-level directory to build the UniMath in the submodule.