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 over 7 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 almost 8 years ago
- 1 comment
#13 - Migrate repo to organization
Issue -
State: closed - Opened by vlopezj almost 8 years ago
- 2 comments
#12 - WIP Syllabus
Issue -
State: open - Opened by marco-vassena almost 8 years ago
- 17 comments
#11 - Private repository for exercises
Issue -
State: closed - Opened by vlopezj almost 8 years ago
- 3 comments
#10 - Update README.md
Pull Request -
State: closed - Opened by marco-vassena almost 8 years ago
#9 - Contents session 1
Pull Request -
State: closed - Opened by bafain almost 8 years ago
- 5 comments
#8 - Update session01.md
Pull Request -
State: closed - Opened by bafain almost 8 years ago
- 2 comments
#7 - Date for first meeting
Issue -
State: closed - Opened by vlopezj almost 8 years ago
- 1 comment
#6 - Update README.md
Pull Request -
State: closed - Opened by simonr89 almost 8 years ago
#5 - Add me (Andreas Lööw) to list of participants
Pull Request -
State: closed - Opened by AndreasLoow almost 8 years ago
#4 - Update README.md
Pull Request -
State: closed - Opened by emptylambda almost 8 years ago
#3 - Participant added.
Pull Request -
State: closed - Opened by Airini almost 8 years ago
#2 - Added myself as a participant
Pull Request -
State: closed - Opened by dschoepe about 8 years ago
#1 - Course in LP3 instead
Pull Request -
State: closed - Opened by daherb about 8 years ago