Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
libisabelle-protocol/lib/classy/.gitmodules
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 06 Apr 2016 16:56:47 +0200
changeset 59216 f4693c6f4bb2
permissions -rw-r--r--
update libisabelle-0.2.2 to libisabelle 0.3.3

Note: probably the dependency between
Protocol.thy and Isac_Protocol.thy need to be reverted
wneuper@59216 
     1
 
[submodule "lib/multi-isabelle"]
wneuper@59216 
     2
 
	path = lib/multi-isabelle
wneuper@59216 
     3
 
	url = https://github.com/larsrh/multi-isabelle.git
wneuper/isa