Here is the video for the Isabelle/PIDE presentation at Curry Club Augsburg from 14-Jun-2018:
There are some technical challenges: missing screen recording in the first 25min, and occasional changes in the speed of screen recording later on: sometimes the computer screen is ahead of the talk. Nonetheless, this is an opportunity to learn many things about Isabelle/PIDE, how it is done, why it is done like that.
Fine-tuning of Isar command span range: relevant for checking of formal comments.
Removed Sledgehammer prover veriT: not ready for release.
The Isabelle release process is subject to the laws of causality: release candidates can be modified, but the final release is unchangeable. This means that testing needs to happen in the weeks before the final release.