# HG changeset patch
# User wenzelm
# Date 1514123186 -3600
# Node ID 7dda4a667e40c51dcc9f249a5b3a298e13c39fff
# Parent  abac35ee356574968e893f22da9c43c5d6126f4b
fewer warnings;

diff -r abac35ee3565 -r 7dda4a667e40 src/Doc/manual.bib
--- a/src/Doc/manual.bib	Sun Dec 24 14:37:47 2017 +0100
+++ b/src/Doc/manual.bib	Sun Dec 24 14:46:26 2017 +0100
@@ -301,6 +301,7 @@
   author = 	 {M.A. Bezem and T. Coquand},
   title = 	 {Automating {Coherent Logic}},
   booktitle = {LPAR-12},
+  year = 2005,
   editor = 	 {G. Sutcliffe and A. Voronkov},
   volume = 	 3835,
   series = 	 LNCS,
@@ -438,7 +439,6 @@
   editor    = {Renate A. Schmidt},
   booktitle     = {Automated Deduction --- CADE-22},
   series    = {Lecture Notes in Computer Science},
-  year      = {2009},
   volume    = {5663},
   publisher = {Springer}
 }
@@ -524,7 +524,7 @@
                   Ring Equalities via {Gr\"obner Bases} in {Isabelle}},
   booktitle =	 {Towards Mechanized Mathematical Assistants (CALCULEMUS 2007)},
   editor =	 {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
-  series =	 LNAI,
+  series =	 "LNAI",
   volume =       4573,
   year =	 2007,
   publisher =	 Springer
@@ -574,6 +574,8 @@
 @inproceedings{cruanes-2014,
   author = "Simon Cruanes",
   title = "Logtk: A {Logic ToolKit} for Automated Reasoning, and its Implementation",
+  booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
+               2014, Vienna, Austria, 2014},
   year = 2014,
   note = 	 {Presented at the Practical Aspects of Automated Reasoning (PAAR) workshop}}
 
@@ -1087,7 +1089,6 @@
   series    = {Lecture Notes in Computer Science},
   volume    = {9236},
   publisher = {Springer},
-  year      = {2015},
 }
 
 @Book{kunen80,
@@ -1130,7 +1131,6 @@
   series    = LNCS,
   volume    = {8558},
   publisher = {Springer},
-  year      = {2014}
 }
 
 @book{loveland-78,
@@ -1184,10 +1184,9 @@
   year      = {2014},
   url       = {http://dx.doi.org/10.1007/978-3-319-08970-6_25},
   doi       = {10.1007/978-3-319-08970-6_25},
-  series    = LNCS,
+  series    = "LNCS",
   volume    = {8558},
   publisher = {Springer},
-  year      = {2014},
 }
 
 @incollection{melham89,
@@ -1990,7 +1989,7 @@
 @Unpublished{voelker94,
   author	= {Norbert V{\"o}lker},
   title		= {The Verification of a Timer Program using {Isabelle/HOL}},
-  url		= {\url{ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz}},
+  note		= {\url{ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz}},
   year		= 1994,
   month		= aug}
 
@@ -2073,7 +2072,8 @@
   booktitle = 	 {The Seventeen Provers of the World},
   year =	 2006,
   editor =	 {F. Wiedijk},
-  series =	 {LNAI 3600}
+  series =	 {LNAI 3600},
+  publisher = Springer
 }
 
 @InCollection{Wenzel:2006:Festschrift,