dominique-unruh/qrhl-tool

Reloading Isabelle theories in qrhl-tool doesn't work right in Windows

Opened this issue · 0 comments

dominique-unruh commented

Often, the theory is reprocessed but still the old theory is used for the context, it seems.