]> matita.cs.unibo.it Git - helm.git/blobdiff - weblib/test.ma
commit by user andrea
[helm.git] / weblib / test.ma
index 63a4794a140447e64cdfb4eb0eacf529c2759d88..922d36cc25cc155218d095eaccb4e511012c8c9c 100644 (file)
@@ -55,4 +55,4 @@
  *    examples that the user is encouraged to try after chapter1.ma)
  * 3) follow the instructions in the script.
  *
- *)
+ *)
\ No newline at end of file