Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-09-15 17:41:48 -0700 (Thu, 15 Sep 2005) Revision: 2023 Log message:
- Merged branch 2017:2022 (OCAMLFIND fixed base on Peter Jolly's patch) - A few other minor tweaks.