7 commits

Author	SHA1	Message	Date
Leon Vatthauer	1210e449db	minor	2024-03-20 16:12:45 +01:00
Leon Vatthauer	55f125dae0	Undo latex workshop changes	2024-03-10 11:14:39 +01:00
Leon Vatthauer	dbd7388a4e	latex options for vscode	2024-03-10 10:03:10 +01:00
Leon Vatthauer	c075c20815	optimise shinx and update ltex vscode	2024-02-26 14:28:05 +01:00
Leon Vatthauer	173f6e446b	switch to vscodium	2024-02-25 21:03:35 +01:00
Leon Vatthauer	8632688d6c	update agda-mode vscode extension	2024-02-21 13:33:07 +01:00
Leon Vatthauer	1c853edcab	initial commit after purge	2024-02-16 13:59:46 +01:00