rocqnavi
*.cm?
*.o
resources.ml
*~
#*#
*.annot

html/

ocamldot/ocamldot
ocamldot/ocamldot.ml

*.d
*.vo
*.aux
*.glob
*.vo[ks]

coq_lsp_log_*.txt
