@@ -407,11 +407,6 @@ unknownEnvironment = try $ do
407 else anyEnvironment -- otherwise just the contents
407 else anyEnvironment -- otherwise just the contents
408 return result
408 return result
410−group :: GenParser Char ParserState Inline
412− res <- bracketedText '{' '}'
413− return $ TeX $ "{" ++ res ++ "}"
415-- \ignore{} is used conventionally in literate haskell for definitions
410-- \ignore{} is used conventionally in literate haskell for definitions
416-- that are to be processed by the compiler but not printed.
411-- that are to be processed by the compiler but not printed.
417ignore :: GenParser Char ParserState Block
412ignore :: GenParser Char ParserState Block
@@ -483,7 +478,6 @@ inline = choice [ str
483 , accentedChar
478 , accentedChar
484 , nonbreakingSpace
479 , nonbreakingSpace
487 , specialChar
481 , specialChar
488 , rawLaTeXInline'
482 , rawLaTeXInline'
489 , escapedChar
483 , escapedChar