mirror of
https://github.com/yu-i-i/overleaf-cep.git
synced 2026-11-12 21:23:45 +01:00
amsthm's \proof environment wasn't in the built-in environment completions, so it only appeared in the autocomplete dropdown after being typed several times elsewhere in the document.