--- 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},