doc-src/System/Thy/Presentation.thy
changeset 34238 b28be884edda
parent 32088 2110fcd86efb
child 35587 f037aa6699c3
     1.1 --- a/doc-src/System/Thy/Presentation.thy	Sun Jan 03 15:09:02 2010 +0100
     1.2 +++ b/doc-src/System/Thy/Presentation.thy	Mon Jan 04 11:55:23 2010 +0100
     1.3 @@ -459,7 +459,6 @@
     1.4    information (HTML etc.) according to settings.
     1.5  
     1.6    ISABELLE_USEDIR_OPTIONS=
     1.7 -  HOL_USEDIR_OPTIONS=
     1.8  
     1.9    ML_PLATFORM=x86-linux
    1.10    ML_HOME=/usr/local/polyml-5.2.1/x86-linux
    1.11 @@ -474,11 +473,6 @@
    1.12    work, one may control compilation options globally via above
    1.13    variable. In particular, generation of \rmindex{HTML} browsing
    1.14    information and document preparation is controlled here.
    1.15 -
    1.16 -  The @{setting_ref HOL_USEDIR_OPTIONS} setting is specific to the
    1.17 -  plain and main Isabelle/HOL images; its value is appended to
    1.18 -  @{setting ISABELLE_USEDIR_OPTIONS} for these particular sessions
    1.19 -  only.
    1.20  *}
    1.21  
    1.22