JOINED
Markup
jdk_home
Isabelle_System
join
Future
Isabelle_Process
Managed_Process
Prover
jvm_name
Platform
jvm_path
Isabelle_System
jvm_platform
Platform