JOINED
Markup
jdk_home
Isabelle_System
join
Process
Future
Prover
System_Process
join_result
Future
jvm_name
Platform
jvm_platform
Platform
jvm_version
Platform