This specific entry currently exists only in devel. Release is clean.
Cheers,
Gerwin
> On 23.06.2016, at 17:54, Lars Hupel wrote:
>
>> This is my entry. I submitted it a few days ago, and I included the
>> config file in my submission. I was not aware that those don't exist
>> anymore.
>
> The
> Florian, what are you plans w.r.t. merging this patch into the
> distribution?
It's currently on the testboard.
Florian
>
> Manuel
>
>
> On 23/06/16 11:22, Manuel Eberl wrote:
>> Looks good. After applying the patch, HOL-Codegenerator_Test goes
>> through with the code equation in B
Florian, what are you plans w.r.t. merging this patch into the distribution?
Manuel
On 23/06/16 11:22, Manuel Eberl wrote:
Looks good. After applying the patch, HOL-Codegenerator_Test goes
through with the code equation in Binomial.thy enabled.
Cheers,
Manuel
On 23/06/16 09:48, Manuel Eb
Looks good. After applying the patch, HOL-Codegenerator_Test goes
through with the code equation in Binomial.thy enabled.
Cheers,
Manuel
On 23/06/16 09:48, Manuel Eberl wrote:
The uncommented code equation at the end of ~~/src/HOL/Binomial.thy used
to break Codegenerator_Test. I can have a
> This is my entry. I submitted it a few days ago, and I included the
> config file in my submission. I was not aware that those don't exist
> anymore.
They have been superseded by the "notify" configuration in the
"metadata" file.
If one AFP maintainer could please delete "thys/Catalan_Numbers/c
This is my entry. I submitted it a few days ago, and I included the
config file in my submission. I was not aware that those don't exist
anymore.
On 23/06/16 09:49, Florian Haftmann wrote:
Dear AFP maintainers,
in 79fb78da1ef0 there exists exactly one file named "config", namely
./t
Dear AFP maintainers,
in 79fb78da1ef0 there exists exactly one file named "config", namely
./thys/Catalan_Numbers/config
All the others I gone.
I suspect this is an accidental left-over.
Cheers,
Florian
--
PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftma
The uncommented code equation at the end of ~~/src/HOL/Binomial.thy used
to break Codegenerator_Test. I can have a look later to see whether this
is still the case.
If it is not, we should probably proceed to move some more of René
Thiemann et al's efficient code equations from the AFP to the
Dear power users of code generation to Scala,
during the last months there have been some reports on ambiguity
problems with implicits in Scala.
One kind of these has been known for long and can be addressed in more
recent versions of Scala, which has been done in 7cffe366d333.
One other kind is