Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
before start update Isabelle2014 --> Isabelle2015 Isabelle2014/Isac
authorWalther Neuper <wneuper@ist.tugraz.at>
Sat, 05 Dec 2015 14:26:29 +0100
changeset 59178d61d51765a02
parent 59177 1ff126aa8445
child 59179 91acbb24e371
before start update Isabelle2014 --> Isabelle2015

Note: this update will need an according update of libisabelle.
src/Tools/isac/Build_Isac.thy file | annotate | diff | comparison | revisions 
     1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Oct 06 15:56:47 2015 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sat Dec 05 14:26:29 2015 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:  build and test isac on Isabelle2013
     1.5 +(*  Title:  build and test isac on Isabelle2014
     1.6      Author: Walther Neuper, TU Graz, 100808
     1.7     (c) due to copyright terms
     1.8
wneuper/isa