]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Added my name to authors list
authorraphael-michel <raphael-michel@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Nov 2011 18:57:23 +0000 (18:57 +0000)
committerraphael-michel <raphael-michel@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 10 Nov 2011 18:57:23 +0000 (18:57 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1411 e59a4935-1847-0410-ae03-e826735625c1

AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 7f5368ed81c133baf415393ce5ed1a88729c4c39..d0949519b7aae30dda656cdc4fc5d8aedff2a982 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -37,3 +37,6 @@ Authors who contributed some code
 
 * Mate Soos,
   Paris University 6, Paris, France (Nov 2009 - present)
+
+* Raphael Michel
+  University of Namur (FUNDP) / CETIC Research Center, Belgium (Nov 2011 - present)