Skip to content

Public alpha 152

Pre-release
Pre-release
Compare
Choose a tag to compare
@stevenmeker stevenmeker released this 02 Oct 21:58
· 14 commits to master since this release
Alpha152
15ca5b2
  • more LaTeX support
  • fixed bug in the LaTeX printing of view instantiations
  • fixed bug in LaTeX printing of one strategy
  • fixed bug in LaTeX printing of srew/dsrew commands
  • fixed a termination bug in filtered variant unify
  • optimizations to semi-compilation of free theory equations
  • fixed compile time error for 32-bits targets
  • updated config.guess
Assets 4
Loading