From 50432893bcd54aff99681a97f4ad48c56245d3cd Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Fri, 14 Aug 2009 16:26:42 +0000 Subject: [PATCH] git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@129 e59a4935-1847-0410-ae03-e826735625c1 --- {PAPERS => papers}/EXE-STP-TISSEC-Journal-2007.pdf | Bin {PAPERS => papers}/EXE-STP.pdf | Bin {PAPERS => papers}/vijayganesh-stp-paper.pdf | Bin 3 files changed, 0 insertions(+), 0 deletions(-) rename {PAPERS => papers}/EXE-STP-TISSEC-Journal-2007.pdf (100%) rename {PAPERS => papers}/EXE-STP.pdf (100%) rename {PAPERS => papers}/vijayganesh-stp-paper.pdf (100%) 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 -- 2.47.3