Remove _tags file... for now
Build files
Add menhir usage to _tags file
Time to recreate these things
Create .gitignore
Merge branch 'master' into recursive