[PD-cvs] externals/pureunity/doc PureUnity.lyx,1.1,1.2

[Mathieu Bouchard]

Update of /cvsroot/pure-data/externals/pureunity/doc
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv3404/doc

Modified Files:
	PureUnity.lyx 
Log Message:
.


Index: PureUnity.lyx
===================================================================
RCS file: /cvsroot/pure-data/externals/pureunity/doc/PureUnity.lyx,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** PureUnity.lyx	13 Jan 2006 10:42:09 -0000	1.1
--- PureUnity.lyx	3 Jan 2007 01:02:42 -0000	1.2
***************
*** 53,56 ****
--- 53,62 ----
  
  (write ontological nonsense here)
+ \layout Standard
+ 
+ fsdfsdf
+ \layout Standard
+ 
+ sfsdfsdf
  \layout Subsection
  
***************
*** 59,71 ****
  
  I've thought of a triad:
! \layout Standard
  
  A.
   "the real thing"
! \layout Standard
  
  B.
   what it's documented as
! \layout Standard
  
  C.
--- 65,77 ----
  
  I've thought of a triad:
! \layout Itemize
  
  A.
   "the real thing"
! \layout Itemize
  
  B.
   what it's documented as
! \layout Itemize
  
  C.
***************
*** 74,84 ****
  
  and another one:
! \layout Standard
  
  changing A to match B+C: programming
! \layout Standard
  
  changing B to match A+C: the scientific method (aka reverse engineering)
! \layout Standard
  
  changing C to match A+B: unit-tests and contracts and scientific experiments
--- 80,90 ----
  
  and another one:
! \layout Itemize
  
  changing A to match B+C: programming
! \layout Itemize
  
  changing B to match A+C: the scientific method (aka reverse engineering)
! \layout Itemize
  
  changing C to match A+B: unit-tests and contracts and scientific experiments
***************
*** 112,115 ****
--- 118,124 ----
  
  Protocol
+ \layout Standard
+ 
+ (steal text from the GF paper from Graz)
  \layout Subsection
  
***************
*** 141,146 ****
--- 150,182 ----
  \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