Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cbrewster/servonavigation issues and pull requests
#10 - Is there a pull request or issue somewhere for merging this into the upstream HTML5 spec?
Issue -
State: open - Opened by notriddle about 8 years ago
- 2 comments
#9 - Changed table formatting so arXiv version works.
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#8 - Tidied up notes
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#7 - Updated readme.
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#6 - Tidying up; added first-cut experimental results
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#5 - Wordsmithing spec language
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#4 - Add material about well-formedness to the paper and to the mechanical proofs
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#3 - Mechanical proofs!
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#2 - Added a CC-BY-4.0 licesnse.
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago
#1 - Adding notes of session history
Pull Request -
State: closed - Opened by asajeffrey over 8 years ago