3 Commits

Author	SHA1	Message	Date
EvilMuffinHa	914b98ff69	no coq for latex	2022-11-08 20:32:39 -05:00
EvilMuffinHa	daefec7559	Adding code actions and more telescope commands	2022-09-01 21:07:50 -04:00
EvilMuffinHa	def5ca8b9a	first	2022-02-13 21:02:44 -05:00