search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

bugfix: MMT crash with space in jar path #575

Closed ghost closed 1 year ago

ghost commented 1 year ago

proposition for #574

(closes #574)