From 1c311b1828950539858292dc2c3bcc4a184e890a Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Fri, 21 Mar 2003 14:26:37 +0000
Subject: - Added examples.bib

---
 doc/reference/Makefile          |  1 +
 doc/reference/examples.bib      | 20 ++++++++++++++++++++
 doc/reference/examples.verb.tex |  2 +-
 3 files changed, 22 insertions(+), 1 deletion(-)
 create mode 100644 doc/reference/examples.bib

(limited to 'doc')

diff --git a/doc/reference/Makefile b/doc/reference/Makefile
index 844a727d99..ae90a20ada 100644
--- a/doc/reference/Makefile
+++ b/doc/reference/Makefile
@@ -21,6 +21,7 @@ LATEX_TARGETS		+= $(LATEX_FORMATS:%=reference.%)
 LATEX_TARGETS		+= $(LATEX_FORMATS:%=examples.%)
 
 LATEX_SOURCES		+= examples.tex
+LATEX_SOURCES		+= examples.bib
 LATEX_SOURCES		+= rationale.tex
 LATEX_SOURCES		+= reference.tex
 LATEX_SOURCES		+= rationale-chapter.tex
diff --git a/doc/reference/examples.bib b/doc/reference/examples.bib
new file mode 100644
index 0000000000..efdb03db74
--- /dev/null
+++ b/doc/reference/examples.bib
@@ -0,0 +1,20 @@
+
+@Book{		  abelson-sussman:structure,
+  author	= {Harold Abelson and Gerald Jay Sussman and Julie Sussman},
+  title		= {The Structure and Interpretation of Computer Programs, 2nd
+		  edition},
+  year		= {1996},
+  publisher	= {MIT Press},
+  address	= {Cambridge, Massachusetts}
+}
+
+@InProceedings{	  odersky-et-al:fool10,
+  author	= {Martin Odersky and Vincent Cremet and Christine R\"ockl
+		  and Matthias Zenger},
+  title		= {A Nominal Theory of Ojects with Dependent Types},
+  booktitle	= {Proc. FOOL 10},
+  year		= 2003,
+  month		= jan,
+  note		= {\verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@}
+		  
+}
diff --git a/doc/reference/examples.verb.tex b/doc/reference/examples.verb.tex
index 32fc66600e..bca84dfb2e 100644
--- a/doc/reference/examples.verb.tex
+++ b/doc/reference/examples.verb.tex
@@ -1320,7 +1320,7 @@ function definitions such as \verb@def square(x: int) = x * x@,
 \item
 value definitions such as \verb@val y = square(2)@.
 \end{itemize}
-\bibliography{master}
+\bibliography{examples}
 \end{document}
 
 \chapter{Classes and Objects}
-- 
cgit v1.2.3