Skip to content
Permalink
Branch: master
Commits on Sep 11, 2019
  1. style

    Bronsa committed Sep 11, 2019
  2. wording

    Bronsa committed Sep 11, 2019
  3. feat: document region-idx

    Bronsa committed Sep 11, 2019
Commits on Sep 10, 2019
  1. fix: use imandra-dev config path

    Bronsa committed Sep 10, 2019
  2. Merge pull request #15 from AestheticIntegration/nicola/imandra-tools

    Bronsa committed Sep 10, 2019
    update to latest imandra-tools
Commits on Sep 4, 2019
  1. update to latest imandra-tools

    Bronsa committed Sep 4, 2019
You can’t perform that action at this time.