Search results

Contact email not working

Status: Open.

#40 In overturetool/overturetool.github.io;

· CuriousCI opened on Feb 25, 2025

Download web page needs fixing

Status: Open.

#39 In overturetool/overturetool.github.io;

· 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

Status: Open.

#38 In overturetool/overturetool.github.io;

· idhugoid opened on May 23, 2023

Create FAQ page

enhancement

Status: Open.

#16 In overturetool/overturetool.github.io;

· ldcouto opened on Mar 11, 2015

Update the overtureweb.bib file with tha JP references

enhancement

Status: Open.

#8 In overturetool/overturetool.github.io;

· lausdahl opened on Jul 7, 2014

Add a page to describe the vdm language(s)

enhancement

Status: Open.

#6 In overturetool/overturetool.github.io;

· lausdahl opened on Jul 7, 2014

Release notes on the downloads page

enhancement

Status: Open.

#1 In overturetool/overturetool.github.io;

· joey-coleman opened on Jun 12, 2014