Fix #485 and the links to the difference for each error in goal editor - Githubissues

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA

Apache License 2.0

90 stars 12 forks source link

Fix #485 and the links to the difference for each error in goal editor #487

Closed alex999990009 closed 6 months ago