Email Gateway (Mar 12 2024 at 16:13): Email Gateway (Mar 12 2024 at 16:13):From: Makarius <makarius@sketis.net>
We currently have a failure of AFP/Polylog, using Isabelle/1e7b5a258bc5 +
AFP/dbd87cb0c2b5.
This is probably related to changes to "meromorphic_on" here:
changeset: 79857:819c28a7280f
user: paulson <lp15@cam.ac.uk>
date: Mon Mar 11 15:07:02 2024 +0000
files: src/HOL/Analysis/Analysis.thy
src/HOL/Analysis/Complex_Analysis_Basics.thy src/HOL/Analysis/Complex_Trans
cendental.thy src/HOL/Analysis/Gamma_Function.thy
src/HOL/Analysis/Sparse_In.thy src/HOL/Complex_Analysis/Meromorphic.
thy src/HOL/Deriv.thy src/HOL/Nat.thy
description:
New material by Wenda Li and Manuel Eberl
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 12 2024 at 16:16):From: Lawrence Paulson <lp15@cam.ac.uk>
I know. Fix will be committed soon.
Larry
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Mar 12 2024 at 22:09):From: Makarius <makarius@sketis.net>
On 12 Mar 2024, at 16:13, Makarius <makarius@sketis.net> wrote:
We currently have a failure of AFP/Polylog, using Isabelle/1e7b5a258bc5 + AFP/dbd87cb0c2b5.
Last updated: Apr 27 2024 at 12:25 UTC