--- a/src/Doc/manual.bib Sun Sep 15 23:02:23 2013 +0200
+++ b/src/Doc/manual.bib Mon Sep 16 00:40:02 2013 +0200
@@ -293,14 +293,14 @@
@manual{isabelle-nitpick,
author = {Jasmin Christian Blanchette},
- title = {Picking Nits: A User's Guide to {N}itpick for {I}sabelle/{HOL}},
+ title = {Picking Nits: A User's Guide to {N}itpick for {I}sabelle\slash {HOL}},
institution = TUM,
note = {\url{http://isabelle.in.tum.de/doc/nitpick.pdf}}
}
@manual{isabelle-sledgehammer,
author = {Jasmin Christian Blanchette},
- title = {Hammering Away: A User's Guide to {S}ledgehammer for {I}sabelle/{HOL}},
+ title = {Hammering Away: A User's Guide to {S}ledgehammer for {I}sabelle\slash {HOL}},
institution = TUM,
note = {\url{http://isabelle.in.tum.de/doc/sledgehammer.pdf}}
}