Giters
alahijani
/
Jelf
IntelliJ IDEA Plugin for Twelf
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
3
Issues:
4
Forks:
0
alahijani/Jelf Issues
Constant rename does not work in recent versions of IntelliJ
Updated
10 years ago
IntelliJ 13.1 compatibility: Getting NoClassDefFoundError: com/intellij/psi/search/NonClasspathDirectoryScope
Closed
10 years ago
IntelliJ 12 compatibility: compile action no longer works.
Updated
10 years ago
Cleanup overly generic code
Updated
10 years ago