From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Fri, 23 Mar 2012 08:52:03 +0000 (+0000)
Subject: commit by user utente2
X-Git-Tag: make_still_working~1839
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=e593e93ca00c6e9dfb8f0e79cb52684c5b104c3f

commit by user utente2
---

diff --git a/weblib/test.ma b/weblib/test.ma
index 362fb6d57..c8b89a5da 100644
--- a/weblib/test.ma
+++ b/weblib/test.ma
@@ -1,3 +1,5 @@
 (* prova *)
 
+(* prova 2 *)
+
 axiom pippo : Prop.
\ No newline at end of file