Artiweb > Pull Request #3070

Fix ProofTreeView NPE #3070

Description

Small fix, I think this was mentioned in other comments as well.

Artifacts

16. Mar 2023 13:50 (3401.92 kB large)
16. Mar 2023 11:37 (3431.32 kB large)
16. Mar 2023 10:47 (3452.70 kB large)
15. Mar 2023 22:37 (3398.94 kB large)