From: vijay_ganesh Date: Fri, 14 Aug 2009 16:26:42 +0000 (+0000) Subject: git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk... X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=50432893bcd54aff99681a97f4ad48c56245d3cd;p=francis%2Fstp.git git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@129 e59a4935-1847-0410-ae03-e826735625c1 --- diff --git a/PAPERS/EXE-STP-TISSEC-Journal-2007.pdf b/papers/EXE-STP-TISSEC-Journal-2007.pdf similarity index 100% rename from PAPERS/EXE-STP-TISSEC-Journal-2007.pdf rename to papers/EXE-STP-TISSEC-Journal-2007.pdf diff --git a/PAPERS/EXE-STP.pdf b/papers/EXE-STP.pdf similarity index 100% rename from PAPERS/EXE-STP.pdf rename to papers/EXE-STP.pdf diff --git a/PAPERS/vijayganesh-stp-paper.pdf b/papers/vijayganesh-stp-paper.pdf similarity index 100% rename from PAPERS/vijayganesh-stp-paper.pdf rename to papers/vijayganesh-stp-paper.pdf