出力は死んだテキスト - (保存用) 檜山正幸のキマイラ飼育記 メモ編TTYはダメだ、と言いながらOutputパネルはほぼTTY。そのため： 出力が長いときに、切られる。 出力から文字列を探せない。GUIでよくある「目でgrep」、辛い！ 出力がリンクやボタンであればいいのに。例外は thy_deps だが、ショボい。 コピペは出来る。が、find_theoremsの出力をコピペするときの情けなさったら、、、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
