Changelog for call-alloy-0.2.0.5
Changelog for call-alloy
Unreleased changes
Released changes
0.2.0.6
- allow parsing
'
as part of words. (Especiallyskolem
may return them if variable names in predicates to check are not unique.) - add version constraint for
Win32
- allow later versions of
bytestring