4 Commits

Author	SHA1	Message	Date
Steins7	706b5be1fd	Add COQ for auto-completion	2022-10-18 13:48:33 +02:00
Steins7	0076f8b800	Configure indentation	2022-10-18 11:37:24 +02:00
Steins7	f3899d25f8	Move to third-party plugin management	2022-10-18 11:16:39 +02:00
Steins7	6ae88b99fa	Initial commit	2022-10-18 10:17:35 +02:00