Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-12 19:15:43 -0800 (Sun, 12 Feb 2006)
Revision: 8669
Log message:

      Might as well fix the "convert" program too.
      This was the program that we could use externally
      to convert .prlb -> .prla.
      
      Not sure that it works, but we probably still
      want it.  It would be nice to be able to run
      "omake export" rather than trying to remember
      what files were changed.