overturetool overturetool.github.io issues

overturetool / overturetool.github.io

The Overture Tool Website

http://overturetool.org

3 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Download web page needs fixing

#39 pglvdm opened 10 months ago
0
Links to documenation repo are out of sync die to master/editing so language manual pdf refs are missing

#38 idhugoid opened 1 year ago
0
Update 19th-overture-workshop.md

#37 CThuleHansen closed 2 years ago
1
123-1 PGL to talk to KGL about Overture annotations

#36 kgpierce closed 3 years ago
1
Meet with legal contact

#35 ldcouto closed 3 years ago
1
List which Overture Eclipse plugins rely on VDMJ code

#34 ldcouto closed 3 years ago
1
Find release dates for 2020

#33 peterwvj closed 4 years ago
1
Licensing of Fujitsu's VDMJ

#32 nickbattle closed 3 years ago
9
Investigate overturetool.org DNS record ownership

#31 nickbattle closed 4 years ago
4
103-2: Move December 18 (2016) meeting to January

#30 peterwvj closed 7 years ago
0
103-1: PGL to create a proposal for a meeting schedule for 2017

#29 peterwvj closed 7 years ago
1
Update Net-Meeting-98.md

#28 KasperSaaby closed 8 years ago
0
Update Net-Meeting-96.md

#27 KasperSaaby closed 8 years ago
0
95-1: Improve TEMPO-UI movie

#26 peterwvj closed 8 years ago
1
93-3: Follow up with Araki-san

#25 ldcouto closed 8 years ago
0
93-2: Follow up with Porto

#24 ldcouto closed 8 years ago
0
93-1: Organise vote for LB expansion

#23 ldcouto closed 8 years ago
12
Fix link to examples

#22 leonplanken closed 8 years ago
1
Update Net-Meeting-92.md

#21 shinsahara closed 8 years ago
0
Java 7 is not only recommended, but required

#20 leonplanken closed 8 years ago
1
Update PlannedPublications.md

#19 tomooda closed 8 years ago
0
88-1: Consider input for video on VDM

#18 peterwvj closed 4 years ago
11
Update Net-Meeting-87.md

#17 shinsahara closed 9 years ago
0
Create FAQ page

#16 ldcouto opened 9 years ago
1
82-1: To create landing page for language board

#15 lausdahl closed 9 years ago
0
41-1: Video on Deploying VDM

#14 lausdahl closed 9 years ago
0
80-1: Revise Strategic Goals for 2020

#13 lausdahl closed 7 years ago
1
Update Net-Meeting-86.md

#12 shinsahara closed 9 years ago
0
Update Net-Meeting-86.md

#11 shinsahara closed 9 years ago
0
Links to the manual link to old files

#10 peterwvj closed 8 years ago
1
Create bib file from these vdmportal publications

#9 lausdahl closed 9 years ago
1
Update the overtureweb.bib file with tha JP references

#8 lausdahl opened 9 years ago
1
Add a page that describes the Method. The M in VDM

#7 lausdahl closed 9 years ago
1
Add a page to describe the vdm language(s)

#6 lausdahl opened 9 years ago
4
Training material: move from portal and book to this site

#5 lausdahl closed 9 years ago
2
Migration Map

#4 ldcouto closed 9 years ago
0
Publications List

#3 ldcouto closed 9 years ago
2
Core NetMeeting Integration into new website

#2 ldcouto closed 9 years ago
1
Release notes on the downloads page

#1 joey-coleman opened 10 years ago
3