doc-src/System/Thy/Presentation.thy

 
   Build object-logic or run examples. Also creates browsing
   information (HTML etc.) according to settings.
 
   ISABELLE_USEDIR_OPTIONS=
-  HOL_USEDIR_OPTIONS=
 
   ML_PLATFORM=x86-linux
   ML_HOME=/usr/local/polyml-5.2.1/x86-linux
   ML_SYSTEM=polyml-5.2.1
   ML_OPTIONS=-H 500

   call. Since the @{verbatim IsaMakefile}s of all object-logics
   distributed with Isabelle just invoke @{tool usedir} for the real
   work, one may control compilation options globally via above
   variable. In particular, generation of \rmindex{HTML} browsing
   information and document preparation is controlled here.
-
-  The @{setting_ref HOL_USEDIR_OPTIONS} setting is specific to the
-  plain and main Isabelle/HOL images; its value is appended to
-  @{setting ISABELLE_USEDIR_OPTIONS} for these particular sessions
-  only.
 *}
 
 
 subsubsection {* Options *}