# HG changeset patch
# User wenzelm
# Date 1380726601 -7200
# Node ID 6332f6fae39154f8bff92c795b6c43c138150645
# Parent  07844b53681013c83d348094afad9970bbc4d3d9
tuned;

diff -r 07844b536810 -r 6332f6fae391 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Oct 02 17:09:12 2013 +0200
+++ b/CONTRIBUTORS	Wed Oct 02 17:10:01 2013 +0200
@@ -25,10 +25,10 @@
   "primrec_new" and "primcorec" commands and a compatibility layer.
 
 * Spring and Summer 2013: Ondrej Kuncar, TUM
-  Various improvements of Lifting and Transfer packages
+  Various improvements of Lifting and Transfer packages.
 
 * Spring 2013: Brian Huffman, Galois Inc.
-  Improvements of the Transfer package
+  Improvements of the Transfer package.
   
 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM