Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / amutake/prove-everywhere issues and pull requests

#15 - アプリの配布

Issue - State: open - Opened by amutake about 10 years ago
Labels: android

#14 - Next, Back

Issue - State: open - Opened by amutake about 10 years ago
Labels: html

#13 - bullets

Issue - State: open - Opened by amutake about 10 years ago
Labels: server, android

#12 - アイコン

Issue - State: open - Opened by amutake about 10 years ago
Labels: android

#11 - stderr で <prompt> の前に '<' があると PromptParseError

Issue - State: open - Opened by amutake about 10 years ago
Labels: server

#10 - 最初に "Require Import ssrbool." などをすると PromptParseError

Issue - State: closed - Opened by amutake about 10 years ago
Labels: server

#9 - Scala 化

Issue - State: open - Opened by amutake about 10 years ago
Labels: android

#8 - オプションの追加

Issue - State: closed - Opened by amutake about 10 years ago - 1 comment

#7 - 画面が小さくても見やすく

Issue - State: open - Opened by amutake about 10 years ago

#6 - サーバーのリポジトリを分離してちゃんと作りなおす

Issue - State: closed - Opened by amutake about 10 years ago - 3 comments

#5 - 評価済み部分を編集したときに自動的にBack

Issue - State: open - Opened by amutake over 10 years ago
Labels: android, html

#4 - Save code

Issue - State: closed - Opened by amutake over 10 years ago - 1 comment

#3 - Back

Issue - State: closed - Opened by amutake over 10 years ago - 2 comments

#2 - Goto

Issue - State: closed - Opened by amutake over 10 years ago - 1 comment

#1 - ListView

Issue - State: closed - Opened by amutake over 10 years ago