I've just installed Isabelle 2013 on my Mac and I'd like to generate theory browsing information for the library.
Following page 28 of the system manual, I tried
isabelle build -o browser_info -v -c HOL
but I get
Started at Thu Feb 14 17:59:37 PST 2013 (polyml-5.5.0_x86-darwin on HAL9000.local)
Session HOL (main)
Finished at Thu Feb 14 17:59:40 PST 2013
0:00:03 elapsed time, 0:00:04 cpu time
and nothing under ~/.isabelle/Isabelle2013/browser_info/HOL.
The second line of the output suggests that '-o browser_info' may not make it to the build options.
Any idea of what could be wrong?
Thank you in advance!
Description: S/MIME Cryptographic Signature