[FLINK-17136] Rename toplevel DataSet/DataStream section titles

• Type: Sub-task
• Status: Closed
• Priority: Major
• Resolution: Done
• Fix Version/s: 1.11.0
• Component/s: Documentation
• Labels: pull-request-available
• Assignee: Aljoscha Krettek
• Reporter: Aljoscha Krettek
• Created: 14/Apr/20 12:22
• Updated: 15/Apr/20 07:04
• Resolved: 15/Apr/20 07:04

Description

According to FLIP-42:

• Streaming (DataStream API) -> DataStream API
• Batch (DataSet API) -> DataSet API

Issue Links

• links to: GitHub Pull Request #11738