Source

hol-light-workbench / .hgignore

1
2
3
4
build.tmp/
ocaml/
hol-light/
setpaths