# HG changeset patch
# User wenzelm
# Date 1407005895 -7200
# Node ID a2340800ca1f0c0523c5b0125f12d47b7fb9d1b5
# Parent  ae3eac418c5f1d5139e5be1c3732d57665b7ca88
updated URL;

diff -r ae3eac418c5f -r a2340800ca1f src/Doc/Prog_Prove/document/root.bib
--- a/src/Doc/Prog_Prove/document/root.bib	Sat Aug 02 19:38:32 2014 +0200
+++ b/src/Doc/Prog_Prove/document/root.bib	Sat Aug 02 20:58:15 2014 +0200
@@ -18,7 +18,7 @@
 
 @book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein},
 title="Concrete Semantics. A Proof Assistant Approach",
-publisher={\url{http://www.in.tum.de/~nipkow/Concrete}},year=2013}
+publisher={\url{http://www.concrete-semantics.org}},year=2013}
 
 @manual{IsarRef,author={Makarius Wenzel},
 title={The Isabelle/Isar Reference Manual},