info.hupel:pide-interface_2.12.0-RC2 (maven): pideInterface
Keywords: isabelle|scala