Skip to content

Public alpha 155

Pre-release
Pre-release

Choose a tag to compare

View all tags
@stevenmeker stevenmeker released this 13 Dec 04:43
· 219 commits to master since this release
Alpha155
7ea21f1
  • fixed bug in LaTeX output for format attribute
  • fixed missing space in LaTeX output between format and metadata attributes
  • fixed bad LaTeX for dags with print color on
  • latex attribute supported
  • fixed bug where LaTeX for structured constants didn't support the format attribute
  • fixed bug where format s and i commands didn't work at the start of a LaTeX line
  • fixed CVC4 bindings for latest version
Assets 4
Loading