https://github.com/overturetool/cold-storage

Archival repository for Overture projects that are quiescent
https://github.com/overturetool/cold-storage

Last synced: 4 months ago
JSON representation

Archival repository for Overture projects that are quiescent

• Host: GitHub
• URL: https://github.com/overturetool/cold-storage
• Owner: overturetool
• Created: 2013-12-05T12:47:00.000Z (over 12 years ago)
• Default Branch: vdmj/master
• Last Pushed: 2014-08-19T09:20:26.000Z (almost 12 years ago)
• Last Synced: 2025-10-25T08:47:25.007Z (8 months ago)
• Language: TeX
• Size: 194 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.txt

Awesome Lists containing this project

README

          
Before you download and try to use the code provided in this

open-source repository, please read the development FAQ first!

http://wiki.overturetool.org/index.php/Developer_Documentation

This directory contains two subdirectories:

o the main Overture tool set can be found in

	./code

o the Overture IDE can be found in

	./ide

o several development and support tools can be found in

	./tools