info.hupel:libisabelle-cli_2.11 (maven): cli
Keywords: isabelle|scala