Commits · 5f3f814d3d606103170c2396138e8a644c56bbd3 · POTTIER Francois / menhir · GitLab

03 Nov, 2015 3 commits
- Also build using menhir --table. · 5f3f814d
  POTTIER Francois authored Nov 03, 2015
  
  5f3f814d
- Set up [make test]. · 77bfdc1d
  POTTIER Francois authored Nov 03, 2015
  
  77bfdc1d
- Preparing a new test in positions/. · e1422da5
  POTTIER Francois authored Nov 03, 2015
  
  e1422da5