2 Commits

Author	SHA1	Message	Date
Guest0x0	36d4cf4f5b	fix indent behavior for lines without indent	2020-05-03 17:48:44 +08:00
Guest0x0	69e45dce38	basic syntax highlighting & indentation for the Coq language	2020-04-23 21:07:37 +08:00