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
{{ message }}
Repository navigation
Issues when directives share the same title and no number #51
And surprisingly, the first directive becomes
Theorem Lemma (Title1):
it stole "Lemma" from the second directive.
I guess this is because the "Theorem" and "Lemma" (and all other directives actually) are assigned to the first match.
Activity