You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Following the advice in https://github.com/siegebell/vscoq/wiki/Latex-Snippets, the snippets are not always available after, for example, the Lemma keyword. I can't tell where this problem stems — it might not be vscoq-specific...
I'm having a hard time figuring out what conditions cause this, because it's not always reproducible, but perhaps someone else will have an idea.
The text was updated successfully, but these errors were encountered:
varkor
changed the title
Snippets aren't available in lemma statements
Snippets aren't always available in lemma statements
Feb 26, 2018
Following the advice in https://github.com/siegebell/vscoq/wiki/Latex-Snippets, the snippets are not always available after, for example, the
Lemma
keyword. I can't tell where this problem stems — it might not be vscoq-specific...I'm having a hard time figuring out what conditions cause this, because it's not always reproducible, but perhaps someone else will have an idea.
The text was updated successfully, but these errors were encountered: