Commits

Anonymous committed f33bc65

.hgignore

  • Participants
  • Parent commits a044e9c

Comments (0)

Files changed (1)

+build.tmp/
+ocaml/
+hol-light/
+setpaths