From 33231e4405eeed085fb495b8ef19db9e392aa522 Mon Sep 17 00:00:00 2001
From: Robin Clark <r.clark@energytechnologycontrol.com>
Date: Mon, 28 Jun 2010 20:27:13 +0100
Subject: [PATCH] .

---
 Makefile                        | 4 ++++
 logic_diagram/logic_diagram.tex | 7 +++----
 mybib.bib                       | 6 ------
 thesis.tex                      | 8 ++++----
 titlepage/titlepage.tex         | 5 +++--
 5 files changed, 14 insertions(+), 16 deletions(-)

diff --git a/Makefile b/Makefile
index ce859b1..a5270db 100644
--- a/Makefile
+++ b/Makefile
@@ -6,3 +6,7 @@ pdf:
 	pdflatex thesis
 	okular thesis.pdf
 
+
+bib:
+	bibtex thesis
+	pdf
diff --git a/logic_diagram/logic_diagram.tex b/logic_diagram/logic_diagram.tex
index e134c40..2cdd2f8 100644
--- a/logic_diagram/logic_diagram.tex
+++ b/logic_diagram/logic_diagram.tex
@@ -157,7 +157,6 @@ practical differences between the way they are used to represent software as opp
 representing electronics and mechanical systems.
 
 \subsection{Concrete PLD Definition}
-\paragraph{MUST REFERENCE CONSTRAINT DIAGRAMS HERE}
 
 A concrete {\em Propositional logic diagram} is a set of labelled {\em contours}
 (closed curves) in the plane. The minimal regions formed by the closed curves
@@ -167,8 +166,8 @@ A group of `test points' connected by joining lines
 is defined as a `test point disjunction' or Spider.
 Spiders may be labeled.
 
-To differentiate these from common Euler diagram notation (normally used to represent set theory)
-the curves are drawn using dotted and dashed lines.
+%To differentiate these from common Euler diagram notation (normally used to represent set theory)
+%the curves are drawn using dotted and dashed lines.
 
 \subsection{ PLD Definition}
 %In English:
@@ -275,7 +274,7 @@ Test points on the concrete diagram pair-wise connected by a `joining line'
 
 
 A collection of test points connected by joining lines, is an  Symptom Merged Group, $SMG$
-or `test point disjunction'. The $SMG$ is the analog of the Spider in constraint diagrams.
+or `test point disjunction'. The $SMG$ is the analog of the Spider in spider/constraint diagrams\ref{howse:sd}.
 An $SMG$ has members which are test points.
 
 {
diff --git a/mybib.bib b/mybib.bib
index 77f57eb..84827f7 100644
--- a/mybib.bib
+++ b/mybib.bib
@@ -158,10 +158,4 @@
   howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html",
   year =         "2000"
 }
-@MISC{javaarea,
-  author =       "Sun~Micro~Systems",
-  title =        "Java Area Operations",
-  howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html",
-  year =         "2000"
-}
 
diff --git a/thesis.tex b/thesis.tex
index e6b371b..ddeff97 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -25,7 +25,6 @@
 % Contents
 % --------
  
-\pagenumbering{roman}                        % Lower case roman page numbers
 \cfoot{Page \thepage}                   % Contents page numbers centred
  
 \clearpage
@@ -143,9 +142,10 @@ Software documentation for fmmd tool.
 
 %\chapter{FMMD tool : Algorithms and Euler Diagram Parsing}
 
-\small
-\bibliographystyle{abbrv}
+%\paragraph{bibliography}
+%\small
+\bibliographystyle{plain}
 \bibliography{vmgbibliography,mybib}
-\normalsize
+%\normalsize
 
 \end{document}
diff --git a/titlepage/titlepage.tex b/titlepage/titlepage.tex
index 743e2fd..013323c 100644
--- a/titlepage/titlepage.tex
+++ b/titlepage/titlepage.tex
@@ -5,6 +5,7 @@
 %\middlefoot{ }                               % No page number on title page
 \begin{center}
 
+\pagenumbering{roman}                        % Lower case roman page numbers
 {\LARGE \bf Failure Mode Modular De-Composition  }
 
 \vspace{2.15in}
@@ -21,10 +22,10 @@
  
 \vspace{1.0in}
  
-{\large Version 1.0 }
+{\large Version 1.0 \today }
  
 \vspace{0.2in}
-{\large Author : R.P. Clark  -  2007 }
+{\large Author : R.P. Clark  -  2010 }
  
 \end{center}