# HG changeset patch
# User wenzelm
# Date 1212444997 -7200
# Node ID f65e5d912d60c4a97883f25e44041adc4676ef16
# Parent  f46c75ca14ff65a2f88ef130114ee418e1140074
added Wenzel:2006:Festschrift;

diff -r f46c75ca14ff -r f65e5d912d60 doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Jun 03 00:16:18 2008 +0200
+++ b/doc-src/manual.bib	Tue Jun 03 00:16:37 2008 +0200
@@ -1318,6 +1318,18 @@
   year=2002,
   note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
 
+@InCollection{Wenzel:2006:Festschrift,
+  author = 	 {Makarius Wenzel},
+  title = 	 {{Isabelle/Isar} --- a generic framework for human-readable proof documents},
+  booktitle = 	 {From Insight to Proof --- Festschrift in Honour of Andrzej Trybulec},
+  publisher =	 {University of Bia{\l}ystok},
+  year =	 2007,
+  editor =	 {R. Matuszewski and A. Zalewska},
+  volume =	 {10(23)},
+  series =	 {Studies in Logic, Grammar, and Rhetoric},
+  note =         {\url{http://www.in.tum.de/~wenzelm/papers/isar-framework.pdf}}
+}
+
 @book{principia,
   author	= {A. N. Whitehead and B. Russell},
   title		= {Principia Mathematica},