Download multi-isabelle-0.1.1.jar file

Description

multi-isabelle

You can download jar file multi-isabelle 0.1.1 in this page.

MIT

You can use the following script to add multi-isabelle-0.1.1.jar to your project.

<dependency>
   <groupId>info.hupel</groupId>
   <artifactId>multi-isabelle</artifactId>
   <version>0.1.1</version>
</dependency>

compile group: 'info.hupel', name: 'multi-isabelle', version: '0.1.1'

libraryDependencies += "info.hupel" % "multi-isabelle" % "0.1.1"

<dependency org="info.hupel" name="multi-isabelle" rev="0.1.1"/>

@Grapes(@Grab(group='info.hupel', module='multi-isabelle', version='0.1.1'))

'info.hupel:multi-isabelle:jar:0.1.1'

Click the following link to download the jar file.