diff -r b2eac0e8241c -r 236c1bb128da src/Doc/manual.bib
--- a/src/Doc/manual.bib	Thu May 09 11:35:57 2019 +0200
+++ b/src/Doc/manual.bib	Thu May 09 14:22:25 2019 +0200
@@ -2186,6 +2186,30 @@
   note = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?UITP2014:11}}
 }
 
+@InProceedings{Wenzel:2018:FIDE,
+  author = {Makarius Wenzel},
+  title = {{Isabelle/jEdit} as {IDE} for domain-specific formal
+    languages and informal text documents},
+  booktitle = {F-IDE Workshop 2018 (Oxford, UK)},
+  year = {2018},
+  editor = {Paolo Masci and Rosemary Monahan and Virgile Prevosto},
+  number = 284,
+  series = {EPTCS},
+  note = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?FIDE2018.6}},
+}
+
+@InProceedings{Wenzel:2019:MKM,
+  author = {Makarius Wenzel},
+  title = {Interaction with Formal Mathematical Documents in {Isabelle/PIDE}},
+  booktitle = {Intelligent Computer Mathematics (CICM 2019)},
+  year = {2019},
+  editor = {Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Sacerdoti Coen, Claudio},
+  volume = {????},
+  series = LNAI,
+  publisher = {Springer},
+  note = {\url{https://arxiv.org/abs/1905.01735}}
+}
+
 @book{principia,
   author	= {A. N. Whitehead and B. Russell},
   title		= {Principia Mathematica},