Mercurial Mercurial > hg > rc / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
some small changes according to the reviews
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 06 Sep 2013 14:55:53 +0100
changeset 15 baa2970a9687
parent 14 d43f46423298
child 16 a5f4dc4bbc5d
some small changes according to the reviews
CPP-reviews file | annotate | diff | comparison | revisions
Paper.thy file | annotate | diff | comparison | revisions 
--- 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: <cpp2013@easychair.org>
-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 <urbanc@mailbroy.informatik.tu-muenchen.de>; 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 <urbanc@mailbroy.informatik.tu-muenchen.de>;
-	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 <urbanc@mailbroy.informatik.tu-muenchen.de>; 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 <urbanc@in.tum.de>; 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 <urbanc@in.tum.de>; 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 <urbanc@in.tum.de>; 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 <urbanc@in.tum.de>; 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 <urbanc@in.tum.de>; 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 <cpp2013@easychair.org>
-To: Christian Urban <urbanc@in.tum.de>
-Subject: CPP 2013 notification for paper 42
-Date: Mon, 26 Aug 2013 16:57:55 +0200
 
 Dear Christian Urban,
 
--- 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
rc