]> matita.cs.unibo.it Git - helm.git/commitdiff
Baseuri of applys.ma fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 13:58:13 +0000 (13:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 13:58:13 +0000 (13:58 +0000)
helm/software/matita/tests/applys.ma

index 74573177f6b812014bbc096bb6be43d0b42e035c..d9cbc90985de855629fd204ec718f94b091ffba6 100644 (file)
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/test/".
+set "baseuri" "cic:/matita/test/applys".
 
 include "nat/div_and_mod.ma".
 include "nat/factorial.ma".