Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / dorchard/co519-logic issues and pull requests

#16 - fix incorrect paragraph title

Pull Request - State: closed - Opened by u-ways over 5 years ago - 2 comments

#16 - fix incorrect paragraph title

Pull Request - State: closed - Opened by u-ways over 5 years ago - 2 comments

#15 - Fix minor typo

Pull Request - State: closed - Opened by u-ways almost 6 years ago

#15 - Fix minor typo

Pull Request - State: closed - Opened by u-ways almost 6 years ago

#14 - fix bookmark hyperlinks

Pull Request - State: closed - Opened by u-ways almost 6 years ago

#14 - fix bookmark hyperlinks

Pull Request - State: closed - Opened by u-ways almost 6 years ago

#13 - Fix long tables spacing

Pull Request - State: closed - Opened by u-ways almost 6 years ago - 3 comments

#13 - Fix long tables spacing

Pull Request - State: closed - Opened by u-ways almost 6 years ago - 3 comments

#12 - use bookmark package, add .gitignore

Pull Request - State: closed - Opened by u-ways almost 6 years ago - 1 comment

#12 - use bookmark package, add .gitignore

Pull Request - State: closed - Opened by u-ways almost 6 years ago - 1 comment

#11 - Fix typos

Pull Request - State: closed - Opened by graymalkin almost 7 years ago - 1 comment

#11 - Fix typos

Pull Request - State: closed - Opened by graymalkin almost 7 years ago - 1 comment

#10 - Fix usage of i.e. without \ie command

Pull Request - State: closed - Opened by raehik about 7 years ago - 1 comment

#9 - Fix typo

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago

#9 - Fix typo

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago

#8 - Under Entailment and sequents, in paragraph three.

Pull Request - State: closed - Opened by ghost about 7 years ago - 1 comment

#8 - Under Entailment and sequents, in paragraph three.

Pull Request - State: closed - Opened by ghost about 7 years ago - 1 comment

#7 - Add hidelinks option to hyperref package

Pull Request - State: closed - Opened by graymalkin about 7 years ago

#7 - Add hidelinks option to hyperref package

Pull Request - State: closed - Opened by graymalkin about 7 years ago

#6 - Inline footnote

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago

#5 - Inline footnote

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago - 1 comment

#4 - Fix italics

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago

#3 - Consider using date instead of version

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago - 3 comments

#2 - Update notes.tex

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago

#1 - Fix typo

Pull Request - State: closed - Opened by buggymcbugfix about 7 years ago - 1 comment