support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented hostname (amending 1d8b6c2253e6);
chapter Tools
session Tools = Pure +
theories
Code_Generator
session Spec_Check in Spec_Check = Pure +
theories
Spec_Check
Examples
session SML in SML = Pure +
theories
Examples
session Haskell in Haskell = Pure +
theories
Haskell
theories [condition = ISABELLE_GHC_STACK]
Test