changeset 618:365d3c500ef3

Michael Jewell went through this and noticed some semantic errors and he and I tidied up some of the definitions.
author mas02md
date Tue, 15 Sep 2009 09:15:28 +0000
parents 5240e74a0607
children d6ca94333e2b
files docs/spec/spec.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/docs/spec/spec.tex	Mon Sep 14 16:06:02 2009 +0000
+++ b/docs/spec/spec.tex	Tue Sep 15 09:15:28 2009 +0000
@@ -6,7 +6,7 @@
 \usetikzlibrary{calc}
 
 \title{A Formal Framework for Content-based Retrieval}
-\author{Mark d'Inverno and Christophe Rhodes}
+\author{Mark d'Inverno and Christophe Rhodes and Michael Jewell}
 
 
 \begin{document}