# HG changeset patch # User Christian Urban # Date 1440031775 -28800 # Node ID d89e541bbde9f0121987c42f83e16448688e8d74 # Parent 28c0a578db53b439fb137d35453386f6c6714c6a updated diff -r 28c0a578db53 -r d89e541bbde9 booklet.pdf Binary file booklet.pdf has changed diff -r 28c0a578db53 -r d89e541bbde9 booklet.tex --- 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). diff -r 28c0a578db53 -r d89e541bbde9 booklet2.pdf Binary file booklet2.pdf has changed diff -r 28c0a578db53 -r d89e541bbde9 index.html --- 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 cultural heritage. -The proceedings will be published as usual in the LNCS +The proceedings will be published as usual in the +LNCS Series. There will be an Isabelle tutorial before the conference (21 - 23 August), and