Email Gateway (Oct 01 2022 at 10:10): Email Gateway (Oct 01 2022 at 10:10):From: Gerwin Klein <kleing@unsw.edu.au>
The fork of the AFP development version for the upcoming Isabelle2022 release is approaching.
If you have any changes to the development version of the AFP that you would like to see in afp-2022, please add them before the end of 2 Oct (anywhere on Earth).
Changes after that will stay in the development version and become visible in the Isabelle release after that.
If you need more time or have important changes after that date, please let me know by email.
Cheers,
Gerwin
Email Gateway (Oct 03 2022 at 08:02):From: Dominique Unruh <cl-isabelle-users@lists.cam.ac.uk>
Dear Gershwin,
I am currently going through a cleanup pass of the
Complex_Bounded_Operator library. While the partially cleaned version is
currently in a good shape, it would be great if I could finish the
cleanup and include the resulting version in AFP 2022.
Would it be possible to provide it, say, two days later? (To the best of
my knowledge, the only dependency is the Registers session which I also
own, so any potential problems there I will fix myself.)
Best wishes,
Dominique.
Email Gateway (Oct 03 2022 at 09:03):From: Gerwin Klein <kleing@unsw.edu.au>
Hi Dominique,
that should be no problem, but instead of pushing directly to afp-devel, please email me the diff (e.g. the output of hg export) so I can add it to afp-2022 directly and merge into devel from there.
Cheers,
Gerwin
Last updated: Apr 23 2024 at 08:19 UTC