Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dominique-unruh/scala-isabelle issues and pull requests
#7 - Update symbols table to Isabelle2022
Issue -
State: closed - Opened by dominique-unruh over 2 years ago
- 1 comment
#6 - Sync control_isabelle_logged.ML with control_isabelle.ML
Issue -
State: closed - Opened by dominique-unruh about 3 years ago
- 1 comment
#5 - Update `symbols` table
Issue -
State: closed - Opened by dominique-unruh over 3 years ago
- 1 comment
#5 - Update `symbols` table
Issue -
State: closed - Opened by dominique-unruh over 3 years ago
- 1 comment
#4 - Typo/example comment
Pull Request -
State: closed - Opened by nicolasdalsass almost 4 years ago
- 1 comment
#4 - Typo/example comment
Pull Request -
State: closed - Opened by nicolasdalsass almost 4 years ago
- 1 comment
#3 - Isabelle process not destroyed
Issue -
State: closed - Opened by dominique-unruh almost 4 years ago
- 6 comments
Labels: bug
#3 - Isabelle process not destroyed
Issue -
State: closed - Opened by dominique-unruh almost 4 years ago
- 6 comments
Labels: bug
#2 - Imports will be helpful in README.md
Issue -
State: closed - Opened by siddhartha-gadgil about 4 years ago
- 1 comment
#1 - Add a Gitter chat badge to README.md
Pull Request -
State: closed - Opened by gitter-badger over 4 years ago
#1 - Add a Gitter chat badge to README.md
Pull Request -
State: closed - Opened by gitter-badger over 4 years ago