Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / vlopezj/coq-course issues and pull requests
#16 - Add myself to list of participants
Pull Request -
State: closed - Opened by joaopizani almost 8 years ago
- 3 comments
#15 - Late to the party
Pull Request -
State: closed - Opened by simhu almost 8 years ago
- 2 comments
#14 - More detailed topic policy
Pull Request -
State: closed - Opened by vlopezj about 8 years ago
- 1 comment
#13 - Migrate repo to organization
Issue -
State: closed - Opened by vlopezj about 8 years ago
- 2 comments
#12 - WIP Syllabus
Issue -
State: open - Opened by marco-vassena about 8 years ago
- 17 comments
#11 - Private repository for exercises
Issue -
State: closed - Opened by vlopezj about 8 years ago
- 3 comments
#10 - Update README.md
Pull Request -
State: closed - Opened by marco-vassena about 8 years ago
#9 - Contents session 1
Pull Request -
State: closed - Opened by bafain about 8 years ago
- 5 comments
#8 - Update session01.md
Pull Request -
State: closed - Opened by bafain about 8 years ago
- 2 comments
#7 - Date for first meeting
Issue -
State: closed - Opened by vlopezj about 8 years ago
- 1 comment
#6 - Update README.md
Pull Request -
State: closed - Opened by simonr89 about 8 years ago
#5 - Add me (Andreas Lööw) to list of participants
Pull Request -
State: closed - Opened by AndreasLoow about 8 years ago
#4 - Update README.md
Pull Request -
State: closed - Opened by emptylambda about 8 years ago
#3 - Participant added.
Pull Request -
State: closed - Opened by Airini about 8 years ago
#2 - Added myself as a participant
Pull Request -
State: closed - Opened by dschoepe over 8 years ago
#1 - Course in LP3 instead
Pull Request -
State: closed - Opened by daherb over 8 years ago