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