search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

Ignore HOL-generated files in hol-lib #15

Closed xrchz closed 6 years ago

xrchz commented 6 years ago

If you actually build the theories in hol-lib, these files will be created and should also be ignored by git.

bacam commented 6 years ago

Thanks, I committed a slightly altered version which avoids a couple of files.