src/Doc/System/Basics.thy
changeset 52052 892061142ba6
parent 51932 f196352201d6
child 52054 eaf17514aabd
     1.1 --- a/src/Doc/System/Basics.thy	Fri May 17 17:45:51 2013 +0200
     1.2 +++ b/src/Doc/System/Basics.thy	Fri May 17 18:19:42 2013 +0200
     1.3 @@ -256,12 +256,6 @@
     1.4    \item[@{setting_def ISABELLE_LINE_EDITOR}] specifies the default
     1.5    line editor for the @{tool_ref tty} interface.
     1.6  
     1.7 -  \item[@{setting_def ISABELLE_USEDIR_OPTIONS}] is implicitly prefixed
     1.8 -  to the command line of any @{tool_ref usedir} invocation. This
     1.9 -  typically contains compilation options for object-logics --- @{tool
    1.10 -  usedir} is the basic tool for managing logic sessions (cf.\ the
    1.11 -  @{verbatim IsaMakefile}s in the distribution).
    1.12 -
    1.13    \item[@{setting_def ISABELLE_LATEX}, @{setting_def
    1.14    ISABELLE_PDFLATEX}, @{setting_def ISABELLE_BIBTEX}, @{setting_def
    1.15    ISABELLE_DVIPS}] refer to {\LaTeX} related tools for Isabelle