info.hupel:libisabelle-setup_2.12.0-RC2 (maven): setup
Keywords: isabelle|scala