你即將離開本站

並前往http://www.cs.cornell.edu/courses/cs4160/2019sp/install_coq.html

Installation of Coq - CS 4160 Spring 2019

(If you prefer Vim, see the instructions regarding Spacemacs below.) ... Second, if you've never used Emacs before, do its built-in tutorial.

確定！ 回上一頁

查詢 「Spacemacs tutorial」的人也找了：

  1. Spacemacs
    2.
  2. Spacemacs tutorial
    3.
  3. Spacemacs org mode
    4.
  4. Spacemacs layer
    5.
  5. Spacemacs Clojure
    6.
  6. spacemacs arch
    7.
  7. spacemacs gui
    8.
  8. Spacemacs mode line theme
    9.