From e593e93ca00c6e9dfb8f0e79cb52684c5b104c3f Mon Sep 17 00:00:00 2001
From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Fri, 23 Mar 2012 08:52:03 +0000
Subject: [PATCH] commit by user utente2

---
 weblib/test.ma | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.39.2