https://github.com/overturetool/documentation
Documentation and examples
https://github.com/overturetool/documentation
Last synced: 4 months ago
JSON representation
Documentation and examples
- Host: GitHub
- URL: https://github.com/overturetool/documentation
- Owner: overturetool
- Created: 2014-12-15T10:06:02.000Z (over 11 years ago)
- Default Branch: editing
- Last Pushed: 2024-12-08T16:40:09.000Z (over 1 year ago)
- Last Synced: 2025-07-18T07:42:10.324Z (11 months ago)
- Size: 157 MB
- Stars: 4
- Watchers: 22
- Forks: 4
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# The Overture Tool Documentation
This repository holds the canonical version of the VDM Language Manual, among other documents. The issues tracker associated with the repository is intended to track general issues with the documentation. Requests for modifications to the language should be done at https://github.com/overturetool/language.
Any editing of these documents should be carried out in the `editing` branch. Changes to this branch
are pulled into `master` as part of the release process.
If you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.