Skip to content

Latest commit

 

History

History
14 lines (9 loc) · 279 Bytes

CHANGELOG.md

File metadata and controls

14 lines (9 loc) · 279 Bytes

Next

  • Add notations for format strings (Format.t)
  • sprintf and sscanf now take a format string of type Format.t instead of string
  • No longer compatible with 8.8 and 8.9

1.0.1

  • Add sscanf
  • Compatibility with Coq 8.8, 8.10, 8.11

1.0.0

  • Release on OPAM