Merge 9aa86b4610 into b4105e73e4

2026-11-09 19:40:45 +01:00 · 2026-03-27 21:24:54 -03:00
3 changed files with 2 additions and 5 deletions
@@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**
@@ -1,2 +0,0 @@
-# cache and other artifacts produced by Lean's Lake build tool
-.lake/
@@ -76,9 +76,8 @@ acs-*.bib
 *.cut

 # context
+*.tua
 *.tuc
-*.tui
-*.tuo

 # cprotect
 *.cpt