[SCM] generic theorem proving environment branch, master, updated. 3b4d75e5fc793b3279bb0414792a555e32f7afa8

[Andreas Tille]

The following commit has been merged in the master branch:
commit 3b4d75e5fc793b3279bb0414792a555e32f7afa8
Author: Andreas Tille <tille at debian.org>
Date:   Thu Jun 14 08:53:18 2012 +0200

    Simple test

diff --git a/test b/test
new file mode 100644
index 0000000..e69de29

-- 
generic theorem proving environment