From: navid Date: Thu, 11 Sep 2008 06:42:53 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: buildscript^6~26 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=db86c9cf9e1a16c63f4c8d9e2e97f1645b1059e1;p=IRC.git *** empty log message *** --- diff --git a/Robust/Transactions/Notes/sysgurantees.dvi b/Robust/Transactions/Notes/sysgurantees.dvi new file mode 100644 index 00000000..82b5bc43 Binary files /dev/null and b/Robust/Transactions/Notes/sysgurantees.dvi differ