Commit Graph

  • 8139cd14f0 cleanup: remove COQ highlights main David JULIEN 2023-01-09 18:00:16 +0100
  • a13015ab60 format: make lines tinier David JULIEN 2023-01-09 17:56:03 +0100
  • 642c85db98 feat: add ColorColumn highlight: David JULIEN 2023-01-09 17:55:17 +0100
  • ab28bc593b feat: change visual foreground for better contrast David JULIEN 2022-10-27 13:42:46 +0200
  • 41edd2a850 cleanup: tabstop = 8 -> 4 David JULIEN 2022-05-01 18:36:10 +0200
  • a968c3e157 feat: add colors for nvim-cmp David JULIEN 2022-05-01 18:29:18 +0200
  • 9b46e0fa3d feat: add LuaSnip rules for node colors David JULIEN 2022-04-29 00:22:12 +0200
  • d77e1cfe12 feat: add static colors for Coq David JULIEN 2021-10-29 22:56:36 +0200
  • c329ff44d3 feat: rewrite colorscheme David JULIEN 2021-10-22 20:51:32 +0200
  • 67a2b3ea46
    legal: add LICENCE David JULIEN 2021-10-22 13:03:15 +0200
  • 8f9c072007 init repo David JULIEN 2021-10-21 23:54:19 +0200