Binary file booklet.pdf has changed

--- a/booklet.tex	Thu Aug 20 03:20:01 2015 +0800
+++ b/booklet.tex	Thu Aug 20 08:49:35 2015 +0800
@@ -386,10 +386,9 @@
 
 \begin{itemize}
 \item \textbf{Option 1 by Airport bus}: 
-
-At the Pudong Airport follow the signs for Airport Bus, or Airport
-Ring Bus. You have to take Line 1, which operates between 7:00
-and 23:00. The bus stop where you have to wait is 
+At the Pudong Airport follow the signs for Airport Bus, or
+Airport Ring Bus. You have to take Line 1, which operates
+between 7:00 and 23:00. The bus stop where you have to wait is 
 
 \begin{center}
 \includegraphics[scale=0.9]{travel_guide/image005.jpg}
@@ -660,7 +659,7 @@
 \noindent This area also contains a ``Mickey Mouse bakery'',
 which stocks pastries similar to the ones you might find in a 
 Western bakery (just in case you get bored of the baozi
-at breakfast in the hotel). There is also pizza place in 
+at breakfast in the hotel). There is also a pizza place in 
 case you must eat something different than Chinese. 
 
 There is also a smaller shopping area in the ``middle'' of
@@ -796,7 +795,7 @@
 the envelop; similarly arriving for dinner at 20:00 at a
 restaurant is fine, but 21:00 is too late. 
 
-Surely you must have been in a Chinese restaurant in your home
+Surely you must have been to a Chinese restaurant in your home
 town; but these restaurants have adapted a bit to Western
 tastes. Therefore be aware of a few different customs: in many
 restaurants in China, you, especially if you are in a large
@@ -814,14 +813,15 @@
 Many dishes in China are for carnivorous beings, but often
 there are also completely vegetarian dishes---remember you
 will normally be ordering many small dishes. However, I cannot
-comment on vegetarian dishes. A completely vegetarian 
-restaurant must be rare in China.
+comment on vegetarian dishes---that is for food, as Tobias
+(Nipkow) remarked once. A completely vegetarian restaurant
+must be rare in China.
 
 
 \begin{itemize}
 \item\textbf{Quanjude / Beijing Duck}\hspace{3mm}
 Of course Beijing Roast Duck is not native to Nanjing, but it
-is still very good anyway: If you want to try it, you should
+is still very good: If you want to try it, you should
 go to the Quanjude restaurant, which is very near the Xinjiekou Metro
 Station (the entrance of the restaurant is shown on the right).
 

Binary file booklet2.pdf has changed

--- a/index.html	Thu Aug 20 03:20:01 2015 +0800
+++ b/index.html	Thu Aug 20 08:49:35 2015 +0800
@@ -134,7 +134,8 @@
 equidistant between Beijing and Hong Kong. It is a former capital
 during the Ming Dynasty with a rich <A
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
-The proceedings will be published as usual in the LNCS
+The proceedings will be published as usual in the
+<A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A>
 Series. There will be an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 conference (21 - 23 August), and