From owner-svn-soc-all@FreeBSD.ORG  Thu Jul 14 17:50:35 2011
Return-Path: <owner-svn-soc-all@FreeBSD.ORG>
Delivered-To: svn-soc-all@FreeBSD.org
Received: from socsvn.FreeBSD.org (unknown [IPv6:2001:4f8:fff6::2f])
	by hub.freebsd.org (Postfix) with SMTP id 1AB3D1065675
	for <svn-soc-all@FreeBSD.org>; Thu, 14 Jul 2011 17:50:34 +0000 (UTC)
	(envelope-from shm@FreeBSD.org)
Received: by socsvn.FreeBSD.org (sSMTP sendmail emulation);
	Thu, 14 Jul 2011 17:50:34 +0000
Date: Thu, 14 Jul 2011 17:50:34 +0000
From: shm@FreeBSD.org
To: svn-soc-all@FreeBSD.org
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-Id: <20110714175034.1AB3D1065675@hub.freebsd.org>
Cc: 
Subject: socsvn commit: r224225 - soc2011/shm/TESLA/assertions/80211
X-BeenThere: svn-soc-all@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: SVN commit messages for the entire Summer of Code repository
	<svn-soc-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/svn-soc-all>,
	<mailto:svn-soc-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-soc-all>
List-Post: <mailto:svn-soc-all@freebsd.org>
List-Help: <mailto:svn-soc-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-soc-all>,
	<mailto:svn-soc-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 14 Jul 2011 17:50:35 -0000

Author: shm
Date: Thu Jul 14 17:50:33 2011
New Revision: 224225
URL: http://svnweb.FreeBSD.org/socsvn/?view=rev&rev=224225

Log:
   * wrong version

Deleted:
  soc2011/shm/TESLA/assertions/80211/80211proto.spec
  soc2011/shm/TESLA/assertions/80211/80211proto.spl
  soc2011/shm/TESLA/assertions/80211/80211proto_assert.c
  soc2011/shm/TESLA/assertions/80211/80211proto_automata.c
  soc2011/shm/TESLA/assertions/80211/80211proto_defs.h
  soc2011/shm/TESLA/assertions/80211/instrumentation.spec