search

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
3 stars 1 forks source link

module type if mmt-mh unknown. #14

Open kohlhase opened 5 years ago

kohlhase commented 5 years ago

I get an error for unkown module type for the mmt-mh module