Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ProofGeneral/PG issues and pull requests
#6 - Prevent non-existent directories from crashing PG
Pull Request -
State: closed - Opened by cpitclaudel almost 9 years ago
- 7 comments
#5 - error in process filter: Wrong number of arguments: window-frame, 0
Issue -
State: closed - Opened by erikmd almost 9 years ago
- 4 comments
Labels: kind: bug
#4 - Cleaning up whitespace shouldn't require rewinding
Issue -
State: open - Opened by cpitclaudel almost 9 years ago
- 8 comments
#3 - PG hangs with a commands > 4096 characters
Issue -
State: closed - Opened by Matafou almost 9 years ago
- 1 comment
Labels: kind: bug
#2 - Trying to not delete frames too eagerly when laying out.
Pull Request -
State: closed - Opened by Matafou almost 9 years ago
- 3 comments
Labels: kind: enhancement
#1 - coq-insert-intros: missing whitespace after period for multiple autogenerated intros
Issue -
State: closed - Opened by gnuvan almost 9 years ago
- 1 comment
Labels: kind: bug