Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sel4/isabelle issues and pull requests
#4 - output panel: print results with "Proof state" off
Pull Request -
State: closed - Opened by Xaphiosis over 1 year ago
Labels: bug
#3 - isabelle log: show timing info
Pull Request -
State: closed - Opened by lsf37 over 2 years ago
- 6 comments
#2 - Remove 2021-1 jars when running`isabelle jedit`
Pull Request -
State: closed - Opened by Xaphiosis almost 3 years ago
#1 - component mirror: remove D61 mirror
Pull Request -
State: closed - Opened by mktnk3 about 3 years ago