src/Doc/System/Basics.thy
changeset 50182 30177ec0be36
parent 49173 fa01a202399c
child 50197 b385d134926d
     1.1 --- a/src/Doc/System/Basics.thy	Fri Nov 23 23:07:58 2012 +0100
     1.2 +++ b/src/Doc/System/Basics.thy	Sat Nov 24 12:39:58 2012 +0100
     1.3 @@ -172,7 +172,14 @@
     1.4    @{setting ISABELLE_HOME} to some extend. In particular, site-wide
     1.5    defaults may be overridden by a private @{verbatim
     1.6    "$ISABELLE_HOME_USER/etc/settings"}.
     1.7 -  
     1.8 +
     1.9 +  \item[@{setting_def ISABELLE_PLATFORM_FAMILY}@{text "\<^sup>*"}] is
    1.10 +  automatically set to the general platform family: @{verbatim linux},
    1.11 +  @{verbatim macos}, @{verbatim windows}.  Note that
    1.12 +  platform-dependent tools usually need to refer to the more specific
    1.13 +  identification according to @{setting ISABELLE_PLATFORM}, @{setting
    1.14 +  ISABELLE_PLATFORM32}, @{setting ISABELLE_PLATFORM64}.
    1.15 +
    1.16    \item[@{setting_def ISABELLE_PLATFORM}@{text "\<^sup>*"}] is automatically
    1.17    set to a symbolic identifier for the underlying hardware and
    1.18    operating system.  The Isabelle platform identification always