In IsarFlow Version 5 können sehr einfach verschiedenste Analysen "nebeneinander gelegt" werden. Dabei muss nicht mit Browser-Tabs gearbeitet werden (was natürlich auch geht), sondern wir haben dafür einen Bereich in der UI geschaffen, der zusammen mit der Historie/der Merkliste einen einfachen und schnellen Vergleich ermöglicht.