--- a/src/Doc/manual.bib Fri Jun 27 22:08:55 2014 +0200
+++ b/src/Doc/manual.bib Sat Jun 28 11:19:58 2014 +0200
@@ -1921,6 +1921,18 @@
volume = {7998},
}
+@inproceedings{Wenzel:2014:ITP-PIDE,
+ author = {Makarius Wenzel},
+ title = {Asynchronous User Interaction and Tool Integration in {Isabelle/PIDE}},
+ booktitle = {Interactive Theorem Proving --- 5th International Conference,
+ ITP 2014, Vienna, Austria},
+ editor = {Gerwin Klein and Ruben Gamboa},
+ year = {2014},
+ publisher = {Springer},
+ series = {Lecture Notes in Computer Science},
+ volume = {8558},
+}
+
@book{principia,
author = {A. N. Whitehead and B. Russell},
title = {Principia Mathematica},