1. 07 Mar, 2019 1 commit
  2. 11 Feb, 2019 2 commits
  3. 06 Feb, 2019 1 commit
  4. 28 Jan, 2019 2 commits
  5. 23 Jan, 2019 1 commit
  6. 14 Jan, 2019 1 commit
  7. 30 Nov, 2018 1 commit
  8. 29 Nov, 2018 1 commit
  9. 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
  10. 26 Sep, 2018 2 commits
  11. 25 Sep, 2018 3 commits
  12. 21 Sep, 2018 2 commits
  13. 20 Sep, 2018 6 commits
  14. 19 Sep, 2018 13 commits
  15. 18 Sep, 2018 3 commits