Skip to content

Maude 3.3.1
Compare
Choose a tag to compare
@stevenmeker stevenmeker released this 13 Apr 23:36
· 21 commits to master since this release
Maude3.3.1
5cf2015
  • fixed a bug where internal error and stack overflow messages didn't appear on Macs by not stripping Mac binary
  • overparsing for attributes with missing information in operator declarations and mappings
Assets 4
Loading