From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Jul 2012 08:55:11 +0000 (+0000)
Subject: commit by user mkmluser
X-Git-Tag: make_still_working~1612
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=76e29b7144151db29477a28a5cbca78d00792991

commit by user mkmluser
---

diff --git a/weblib/commit_test2.ma b/weblib/commit_test2.ma
index c830cde3b..51bd8abb1 100644
--- a/weblib/commit_test2.ma
+++ b/weblib/commit_test2.ma
@@ -1,3 +1,3 @@
-(* test *)
+(* test2 *)
 
 axiom pluto : Prop.
\ No newline at end of file