search

overturetool / overturetool.github.io

The Overture Tool Website
http://overturetool.org
3 stars 6 forks source link

Training material: move from portal and book to this site #5

Closed lausdahl closed 9 years ago

ldcouto commented 9 years ago

The book stuff has been moved.

I have the portal examples.

ldcouto commented 9 years ago

The portal examples that were not a part of the main website are now placed in an archive in the documentation repo: https://github.com/overturetool/documentation/tree/master/archive/vdmportal