.HEADsvn2git-headmaster

svn path=/trunk/externals/pureunity/; revision=7133

1 files changed, 42 insertions, 6 deletions

diff --git a/doc/PureUnity.lyx b/doc/PureUnity.lyx
index 853a3f4..20cc6f2 100644
--- a/doc/PureUnity.lyx
+++ b/doc/PureUnity.lyx
@@ -52,34 +52,40 @@ a test tests something that gets tested
 \layout Standard
 
 (write ontological nonsense here)
+\layout Standard
+
+fsdfsdf
+\layout Standard
+
+sfsdfsdf
 \layout Subsection
 
 a triad of testing
 \layout Standard
 
 I've thought of a triad:
-\layout Standard
+\layout Itemize
 
 A.
  "the real thing"
-\layout Standard
+\layout Itemize
 
 B.
  what it's documented as
-\layout Standard
+\layout Itemize
 
 C.
  a way to verify that (1) and (2) agree
 \layout Standard
 
 and another one:
-\layout Standard
+\layout Itemize
 
 changing A to match B+C: programming
-\layout Standard
+\layout Itemize
 
 changing B to match A+C: the scientific method (aka reverse engineering)
-\layout Standard
+\layout Itemize
 
 changing C to match A+B: unit-tests and contracts and scientific experiments
 \layout Section
@@ -111,6 +117,9 @@ Quelques cossins
 \layout Subsection
 
 Protocol
+\layout Standard
+
+(steal text from the GF paper from Graz)
 \layout Subsection
 
 Preconditions
@@ -140,7 +149,34 @@ Unit-Tests
 Algebraic Properties
 \layout Subsection
 
+Temporal Logic
+\layout Subsection
+
 TODO
+\layout Bibliography
+\bibitem {co99}
+
+a constructive deconstruction of type theory by Alistair Cockburn
+\layout Bibliography
+\bibitem {key-7}
+
+Programming Ruby by David Thomas & Andrew Hunt
+\layout Bibliography
+\bibitem {key-6}
+
+Abstract Algebra, Dummit & Foote
+\layout Bibliography
+\bibitem {key-5}
+
+Wikipedia
+\layout Bibliography
+\bibitem {key-3}
+
+my brain
+\layout Section*
+
+Colophon
 \layout Standard
 
+made with LyX and some coffee
 \the_end