search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

use cartouches everywhere #22

Closed larsrh closed 5 years ago

larsrh commented 5 years ago

Update to e4eb69fa44ab7145bdab8c7f8c32846e15573367, where I missed auxiliary files.