# HG changeset patch
# User wenzelm
# Date 1584802265 -3600
# Node ID b0be6c0589e8ef6c0f67a03562a5cbfc15f0124c
# Parent  a9ec1a8bfd4a73a996525f7b14c945c7f4a24bb1
tuned bib;

diff -r a9ec1a8bfd4a -r b0be6c0589e8 src/Doc/manual.bib
--- a/src/Doc/manual.bib	Sat Mar 21 15:47:45 2020 +0100
+++ b/src/Doc/manual.bib	Sat Mar 21 15:51:05 2020 +0100
@@ -2204,8 +2204,8 @@
   booktitle = {Intelligent Computer Mathematics (CICM 2019)},
   year = {2019},
   editor = {Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Sacerdoti Coen, Claudio},
-  volume = {????},
-  series = LNAI,
+  volume = {11617},
+  series = "LNAI",
   publisher = {Springer},
   note = {\url{https://arxiv.org/abs/1905.01735}}
 }