Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-17 18:21:03 -0700 (Sun, 17 Jul 2005)
Revision: 1253
Log message:

      I don't know, somehow I get a "hyperref: conflicting options" on FC4.
      Maybe it is FC$, maybe it is some strange thing about my setup.
      In the meantime, use \def to forcably replace \href.
      
      Removed omake_bitvector, it is unused.
      

Changes	Path
+0 -3	omake/Files
+3 -1	omake/doc/src/omake-prologue.tex
Deleted	omake/omake_bitvector.ml
Deleted	omake/omake_bitvector.mli