1. info
   1. info.hupel
      1. info.hupel.isabelle
         1. info.hupel.isabelle.api
            1. (object)
               BuildInfo
            2. (object)(case class)Configuration
            3. (object)(class)Environment
            4. (case class)ExitTrap
            5. (class)Implementation
            6. (object)(class)OptionKey
            7. (object)(trait)Version
            8. (object)
               XML