From: navid <navid>
Date: Thu, 11 Sep 2008 22:14:14 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: buildscript^6~22
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=9bc7d338cbf4fd898bdaf465ab834e90dbeef29a

*** empty log message ***
---

diff --git a/Robust/Transactions/Notes/sysgurantees.dvi b/Robust/Transactions/Notes/sysgurantees.dvi
index 01a8a7b9..7a161751 100644
Binary files a/Robust/Transactions/Notes/sysgurantees.dvi and b/Robust/Transactions/Notes/sysgurantees.dvi differ