https://github.com/overturetool/language
Overture Language Board issue tracking
https://github.com/overturetool/language
Last synced: 3 months ago
JSON representation
Overture Language Board issue tracking
- Host: GitHub
- URL: https://github.com/overturetool/language
- Owner: overturetool
- Created: 2014-07-29T11:22:03.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2017-04-18T20:15:40.000Z (about 9 years ago)
- Last Synced: 2025-01-05T09:42:00.684Z (over 1 year ago)
- Homepage:
- Size: 1000 Bytes
- Stars: 2
- Watchers: 17
- Forks: 0
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# The Overture Tool Language Board
This repository should remain empty: its primary purpose is the issue tracker and wiki that are used by the Overture Language Board (LB). For more information, see the main [Overture webpage](http://overturetool.org) or check out the [wiki](https://github.com/overturetool/language/wiki).
Information about previous and upcoming LB meetings can be found [here](https://github.com/overturetool/language/wiki/Language-Board-NetMeeting-Minutes).
Documentation, including the VDM 10 Language Reference Manual, can be found in the [documentation repository](https://github.com/overturetool/documentation).