# HG changeset patch # User Christian Urban # Date 1378475753 -3600 # Node ID baa2970a968716b8d59527960952b3e5b48c459b # Parent d43f46423298e966c36f9bec2fed237c6d3d400d some small changes according to the reviews diff -r d43f46423298 -r baa2970a9687 CPP-reviews --- a/CPP-reviews Fri Sep 06 13:27:46 2013 +0100 +++ b/CPP-reviews Fri Sep 06 14:55:53 2013 +0100 @@ -1,64 +1,3 @@ -From VM Fri Sep 6 13:27:30 2013 -X-VM-v5-Data: ([nil nil nil nil t nil nil nil nil] - ["8896" "Monday" "26" "August" "2013" "16:57:55" "+0200" "CPP 2013" "cpp2013@easychair.org" nil "98" "CPP 2013 notification for paper 42" "^From:" nil nil "8" nil nil nil nil nil nil nil nil nil nil] - nil) -Return-Path: -Delivered-To: unknown -Received: from mailbroy.in.tum.de (131.159.46.88:995) by - Christians-MacBook-Air-2.local with POP3-SSL; 26 Aug 2013 16:26:47 -0000 -X-Original-To: urbanc@mailbroy.informatik.tu-muenchen.de -Delivered-To: urbanc@mailbroy.informatik.tu-muenchen.de -Received: from localhost (scan46 [10.46.146.16]) - by mail46.informatik.tu-muenchen.de (Postfix) with ESMTP id 9A063885ECCEA - for ; Mon, 26 Aug 2013 16:58:08 +0200 (CEST) -X-Virus-Scanned: amavisd-new at informatik.tu-muenchen.de -X-Spam-MTA-Flag: NO -X-Spam-MTA-Status: No, score=0.0 required=5.0 tests=none autolearn=unavailable - version=3.3.2 -X-Spam-MTA-Level: -X-Spam-MTA-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on scan46 -Received: from mail46.informatik.tu-muenchen.de ([10.46.146.15]) - by localhost (mail46.informatik.tu-muenchen.de [10.46.146.16]) (amavisd-new, port 10024) - with ESMTP id i--Dvm4t7vwc - for ; - Mon, 26 Aug 2013 16:58:03 +0200 (CEST) -Received: from mailrelay1.informatik.tu-muenchen.de (mailrelay1.informatik.tu-muenchen.de [131.159.254.14]) - by mail46.informatik.tu-muenchen.de (Postfix) with ESMTP id 119618133D93D - for ; Mon, 26 Aug 2013 16:58:03 +0200 (CEST) -Received: by mailrelay1.informatik.tu-muenchen.de (Postfix) - id E3FAA27E4D; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) -Delivered-To: christian.urban@informatik.tu-muenchen.de -Received: from mailrelay1.informatik.tu-muenchen.de (localhost [127.0.0.1]) - by mailrelay1.informatik.tu-muenchen.de (Postfix) with ESMTP id CD21927E49 - for ; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) -Received: from maildmz2.informatik.tu-muenchen.de (maildmz2.informatik.tu-muenchen.de [131.159.0.15]) - by mailrelay1.informatik.tu-muenchen.de (Postfix) with ESMTP id C41B127E48 - for ; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) -Received: by maildmz2.informatik.tu-muenchen.de (Postfix, from userid 1506) - id BF13F4C7BD; Mon, 26 Aug 2013 16:58:02 +0200 (CEST) -X-Spam-Checker-Version: SpamAssassin 3.2.5-tuminfo_1 (2008-06-10) on maildmz2 -X-Spam-Level: -X-Spam-Status: No, score=-2.6 required=7.0 tests=AWL,BAYES_00 autolearn=ham - version=3.2.5-tuminfo_1 -Received: from maildmz2.informatik.tu-muenchen.de (localhost [127.0.0.1]) - by maildmz2.informatik.tu-muenchen.de (Postfix) with ESMTP id 07430491BD - for ; Mon, 26 Aug 2013 16:57:54 +0200 (CEST) -Received: from easychair.org (easychair.org [80.241.208.147]) - by maildmz2.informatik.tu-muenchen.de (Postfix) with ESMTP id E7286491BC - for ; Mon, 26 Aug 2013 16:57:53 +0200 (CEST) -Received: from localhost.localdomain (m1647.giga-dns.com [80.241.208.147]) - by easychair.org (8.14.5/8.14.5) with ESMTP id r7QEvt6V020904 - for ; Mon, 26 Aug 2013 16:57:55 +0200 -Message-Id: <201308261457.r7QEvt6V020904@easychair.org> -Content-Disposition: inline -Content-Transfer-Encoding: 8bit -Content-Type: text/plain; charset="UTF-8" -MIME-Version: 1.0 -X-Mailer: MIME::Lite 3.029 (F2.82; T1.38; A2.12; B3.13; Q3.13) -From: CPP 2013 -To: Christian Urban -Subject: CPP 2013 notification for paper 42 -Date: Mon, 26 Aug 2013 16:57:55 +0200 Dear Christian Urban, diff -r d43f46423298 -r baa2970a9687 Paper.thy --- a/Paper.thy Fri Sep 06 13:27:46 2013 +0100 +++ b/Paper.thy Fri Sep 06 14:55:53 2013 +0100 @@ -956,7 +956,7 @@ \noindent generating an optional value. - The first clause states that the anchor of the @{text + The first clause states that the @{text root}-directory is always its own anchor unless it has been deleted. If a file is present in the initial state and not deleted in @{text s}, then it is also its own anchor, otherwise the anchor