Issues

• Contact email not working

  overturetool/overturetool.github.io#40 · Filter by author IonutCicio opened on Feb 25, 2025

• Download web page needs fixing

  overturetool/overturetool.github.io#39 · Filter by author pglvdm opened on Sep 3, 2023

• Links to documenation repo are out of sync die to master/editing so language manual pdf refs are missing

  action net-meeting
  overturetool/overturetool.github.io#38 · Filter by author idhugoid opened on May 23, 2023
  

• Create FAQ page

  enhancement
  overturetool/overturetool.github.io#16 · Filter by author ldcouto opened on Mar 11, 2015
  1

• Update the overtureweb.bib file with tha JP references

  enhancement
  overturetool/overturetool.github.io#8 · Filter by author lausdahl opened on Jul 7, 2014
  1

  

• Add a page to describe the vdm language(s)

  enhancement
  overturetool/overturetool.github.io#6 · Filter by author lausdahl opened on Jul 7, 2014
  4

• Release notes on the downloads page

  enhancement
  overturetool/overturetool.github.io#1 · Filter by author joey-coleman opened on Jun 12, 2014
  3