All pull requests

Pull requests

• Python 3 support

  #80·XVilka opened Aug 26, 2019·

  ·

• Fix answer message parsing

  #79·Larhard opened May 16, 2019·

  ·

• added shortcuts for queries

  #78·BelegCuthalion opened Apr 18, 2019·

  ·

• Support Coq 8.9.0

  #76·coord-e opened Mar 21, 2019·

  ·
  1

• Add debug buffer, fix a bug

  #70·WangNan0 opened Dec 17, 2017Contributor·

  ·

• Fix #46

  #67·dwarfmaster opened Oct 12, 2017Contributor·

  ·
  4

• Allow multiple coq buffers to opened at the same time

  #66·bluelightning32 opened Sep 22, 2017·

  ·
  7

• Fix issue #61 by suppressing Coqtop stderr output

  #62·felixbauckholt opened Jul 4, 2017·

  ·

• Decode the input before building XML commands.

  #57·xunam opened Apr 10, 2017·

  ·
  3

• Miscellaneous minimal syntax fixes

  #56·dwarfmaster opened Apr 9, 2017Contributor·

  ·
  1

• Auto move cursor as default behavior

  #44·swr1bm86 opened Oct 10, 2016Contributor·

  ·
  1

• try to add syntax for typeclasses

  #39·c-cube opened Sep 1, 2015·

  ·