Am 23.11.2015 um 13:18 schrieb Kornel Benko:
>> diff --git a/lib/layouts/theorems-ams.inc b/lib/layouts/theorems-ams.inc
+Style Solution
+ CopyStyle Definition
+ LatexName sol
+ LabelString "Solution \thetheorem."
Uwe, are you sure about this
Ping, ping
Am Freitag, 20. November 2015 um 16:49:53, schrieb Kornel Benko
> Am Mittwoch, 18. November 2015 um 02:36:56, schrieb Uwe Stöhr
>
> > commit 0ae337014ec6cfbe7bb884c4f70b8e66764c22c8
> > Author: Uwe Stöhr
> > Date: Wed Nov 18 02:36:49 2015 +0100
> >
> > theorems-ams: add solu
Am Mittwoch, 18. November 2015 um 02:36:56, schrieb Uwe Stöhr
> commit 0ae337014ec6cfbe7bb884c4f70b8e66764c22c8
> Author: Uwe Stöhr
> Date: Wed Nov 18 02:36:49 2015 +0100
>
> theorems-ams: add solution environment
>
> fixes bug #6363 now completely
>
...
> diff --git a/lib/lay
