there is something wrong with the abbreviations, so that the MMT plugin dies.

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)

3 stars 1 forks source link

there is something wrong with the abbreviations, so that the MMT plugin dies. #12

Open kohlhase opened 5 years ago

kohlhase commented 5 years ago

Dennis experienced this in today's KRMT Lab.

And while we are at it, we should have abbreviations jcalU for jU and something systematic for jC as well.

jfschaefer commented 5 years ago

I looked a bit into this. I've created a pull request at https://github.com/UniFormal/MMT/pull/480 that should add all the mathcal and mathbb capitals to the abbreviations.

While testing, I noticed that the abbreviations file had been moved and renamed in MMT since the last release. So the plugin currently can't find the abbreviations file in the MMT jar if it is built from devel.

ComFreek commented 4 years ago

I assume this has been fixed since July since I haven't encountered this issue anymore (in fact not at all)?