@@ -1475,14 +1475,14 @@ process fn (PPrint fmt width t)
14751475 iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
14761476
14771477
1478−process fn Quit = iPrintError "Unimplemented pattern for command Quit"
1479−process fn Reload = iPrintError "Unimplemented pattern for command Reload"
1480−process fn Watch = iPrintError "Unimplemented pattern for command Watch"
1481−process fn (Load _ _) = iPrintError "Unimplemented pattern for command Load"
1482−process fn Edit = iPrintError "Unimplemented pattern for command Edit"
1483−process fn Proofs = iPrintError "Unimplemented pattern for command Proofs"
1478+process fn Quit = iPrintError "Command ':quit' is currently unsupported"
1479+process fn Reload = iPrintError "Command ':reload' is currently unsupported"
1480+process fn Watch = iPrintError "Command ':watch' is currently unsupported"
1481+process fn (Load _ _) = iPrintError "Command ':load' is currently unsupported"
1482+process fn Edit = iPrintError "Command ':edit' is currently unsupported"
1483+process fn Proofs = iPrintError "Command ':proofs' is currently unsupported"
14841484process fn (Verbosity _)
1485− = iPrintError "Unimplemented pattern for command Verbosity"
1485+ = iPrintError "Command ':verbosity' is currently unsupported"
14861486
14871487
14881488showTotal :: Totality -> IState -> Doc OutputAnnotation