Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
tuned
authorWalther Neuper <wneuper@ist.tugraz.at>
Tue, 12 Jan 2016 19:47:59 +0100
changeset 59202105897ad7165
parent 59201 0ed63a750c22
child 59204 8a70864e7dff
tuned
test/Tools/isac/Test_Isac.thy file | annotate | diff | comparison | revisions 
     1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Jan 12 14:40:55 2016 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Jan 12 19:47:59 2016 +0100
     1.3 @@ -22,6 +22,7 @@
     1.4    "ADDTESTS/Ctxt"
     1.5    "ADDTESTS/test-depend/Build_Test"
     1.6    "ADDTESTS/All_Ctxt"
     1.7 +  "ADDTESTS/Test_Units"
     1.8    "ADDTESTS/course/phst11/T1_Basics"
     1.9    "ADDTESTS/course/phst11/T2_Rewriting"
    1.10    "ADDTESTS/course/phst11/T3_MathEngine"
wneuper/isa