Am Dienstag, 29. Januar 2013 um 12:44:05, schrieb Kornel Benko
> I'd like to rename the category "Theorem" and "Theorems" to "Reasoning", as
> it describes better
> the underlying styles (Proof, Lemma, Definition, etc).
>
> Kornel
Attached the patch. If nobody objects, I will commit.
I'd like to rename the category "Theorem" and "Theorems" to "Reasoning", as it
describes better
the underlying styles (Proof, Lemma, Definition, etc).
Kornel
signature.asc
Description: This is a digitally signed message part.
