3 Commits

Author	SHA1	Message	Date
Arsen Mirzaev Tatyano-Muradovich	12a4e31da7	исправление автозагрузки coq + отключение стрелочек	2023-02-14 07:58:56 +10:00
Arsen Mirzaev Tatyano-Muradovich	47e833bef3	moshno nadristal	2023-02-11 22:56:38 +10:00
Arsen Mirzaev Tatyano-Muradovich	b4157580f5	recovery from stupid file loss and major update	2023-02-10 04:39:34 +10:00