[isabelle] Can't generate browser_info



Hello,

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)
ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86-darwin"
ML_HOME="/Applications/Isabelle2013.app/Contents/Resources/Isabelle2013/contrib/polyml-5.5.0-3/x86-darwin"
ML_SYSTEM="polyml-5.5.0"
ML_OPTIONS="-H 500"

Session Pure
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!

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.