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

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

diff --git a/Robust/Transactions/Notes/sysgurantees.dvi b/Robust/Transactions/Notes/sysgurantees.dvi
index 82b5bc43..88fe06b4 100644
Binary files a/Robust/Transactions/Notes/sysgurantees.dvi and b/Robust/Transactions/Notes/sysgurantees.dvi differ