1. 30 Nov, 2018 1 commit
  2. 29 Nov, 2018 1 commit
  3. 23 Oct, 2018 1 commit
    • Julien Lepiller's avatar
      Use buffer-local autocommands to call CoqModify. · 889baa79
      Julien Lepiller authored
      Only call CoqModify from a coq session, which prevents errors when the
      user forgets to run `UpdateRemotePlugins` and edits unrelated files.
      
      Use coquille#stop() instead of calling CoqStop() directly when session
      ends.
      889baa79
  4. 26 Sep, 2018 2 commits
  5. 25 Sep, 2018 3 commits
  6. 21 Sep, 2018 2 commits
  7. 20 Sep, 2018 6 commits
  8. 19 Sep, 2018 13 commits
  9. 18 Sep, 2018 5 commits
  10. 07 Sep, 2018 1 commit
  11. 04 May, 2018 4 commits
  12. 03 May, 2018 1 commit