drafear’s diary
drafear’s diary
読者になる

drafear’s diary

トップ > vscode

vscode

2019-09-09

vscoqでproof viewが出ない

coq vscode

vscoqは3年前から更新されていないvscoqのバージョンを1.32くらいに下げると動くが、自動更新まわりの設定とか使い分けるのとかめんどいよく見ると↓に移動したらしいので入れてみたら動いたgithub.com Requirements node Installation git clone https://git…

はてなブックマーク - vscoqでproof viewが出ない
プロフィール
id:drafear id:drafear
読者です 読者をやめる 読者になる 読者になる
このブログについて
検索
リンク
  • はてなブログ
  • ブログをはじめる
  • 週刊はてなブログ
  • はてなブログPro
最新記事
  • remote(ssh) で status bar に git の branch 名が表示されない
  • 個人的おすすめ持ち帰り謎
  • 個人的おすすめその他ゲームリスト
  • 個人的おすすめアクションゲームリスト
  • 個人的おすすめパズルゲームリスト
月別アーカイブ
  • ▼ ▶
    2020
    • 2020 / 7
  • ▼ ▶
    2019
    • 2019 / 9
    • 2019 / 8
    • 2019 / 4
    • 2019 / 3
    • 2019 / 1
  • ▼ ▶
    2018
    • 2018 / 12
    • 2018 / 10
  • ▼ ▶
    2017
    • 2017 / 10
    • 2017 / 5
    • 2017 / 4
    • 2017 / 3
drafear’s diary drafear’s diary

Powered by Hatena Blog | ブログを報告する

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる