Skip to content

History / Release Notes for 1.3

Revisions

  • Add links to the main release notes page on all the release notes pages

    @asmeurer asmeurer committed Feb 20, 2020
  • Fix missing parentheses and some missing authors

    @asmeurer asmeurer committed Mar 1, 2019
  • Sort authors case insensitively in the release notes

    @asmeurer asmeurer committed Mar 1, 2019
  • Fix pull requests in 1.3 that should have multiple authors listed

    @asmeurer asmeurer committed Mar 1, 2019
  • Add the release date for 1.3

    @asmeurer asmeurer committed Sep 14, 2018
  • Add the authors to the 1.3 release notes

    @asmeurer asmeurer committed Sep 14, 2018
  • manual fix for CodePrinters entry

    @cbm755 cbm755 committed Sep 11, 2018
  • Fill out backwards compatible breaks section of 1.3 release notes

    @asmeurer asmeurer committed Sep 10, 2018
  • updated solvers release notes

    @Yathartha22 Yathartha22 committed Sep 9, 2018
  • Rename 1.2.1 release notes to 1.3

    @asmeurer asmeurer committed Sep 6, 2018