@@ -173,6 +173,8 @@ double_quote :: LP Inlines
173double_quote =
173double_quote =
174 ( quoted' doubleQuoted (try $ string "``") (void $ try $ string "''")
174 ( quoted' doubleQuoted (try $ string "``") (void $ try $ string "''")
175 <|> quoted' doubleQuoted (string "“") (void $ char '”')
175 <|> quoted' doubleQuoted (string "“") (void $ char '”')
176+ -- the following is used by babel for localized quotes:
177+ <|> quoted' doubleQuoted (try $ string "\"`") (void $ try $ string "\"'")
176 <|> quoted' doubleQuoted (string "\"") (void $ char '"')
178 <|> quoted' doubleQuoted (string "\"") (void $ char '"')