(* *)
(****************************************************************************)
-set "baseuri" "cic:/matita/tests/".
+set "baseuri" "cic:/matita/tests/comments/".
(* commento che va nell'ast, ma non viene contato
come step perche' non e' un executable