Commit graph

2 commits

Author SHA1 Message Date
Peter Bex
8b0b9fce07 Install all files, not just some random selection the Makefile happened
to like ;)  (needed for hol-light to work properly)
2004-03-17 22:29:45 +00:00
Peter Bex
2c016c1de6 This is libnum from the CAML-light contrib directory.
It provides arbitrary-precision arithmetic functions over integers
and rationals to CAML.
2004-03-17 20:57:48 +00:00