Email Gateway (Aug 22 2022 at 14:18): Email Gateway (Aug 22 2022 at 14:18):From: "C. Diekmann" <diekmann@in.tum.de>
Hi,
is there already a working version of the afp theory
"Automatic_Refinement/Lib/Misc.thy" available?
How long will the merge window for the afp be? I'd like to update my
entries.
By the way, a small first user experience:
I noticed that when I have a theorem name such as
"Complete_Lattices.UN_empty2" and I double click it, it does not select the
whole name but only either the first part "Complete_Lattices" or the second
part "UN_empty2". So far, selecting the complete name by a double click
felt more convenient to me, but probably a bigger change happend to
Isabelle2016-1 which makes the new behavior the 'better' one.
Best,
Cornelius
Email Gateway (Aug 22 2022 at 14:18):From: Lars Hupel <hupel@in.tum.de>
Hi,
is there already a working version of the afp theory
"Automatic_Refinement/Lib/Misc.thy" available?
AFP id 1e958cc1942e should work with Isabelle2016-1-RC0, including
"Misc.thy".
Personally I just created another clone of AFP devel on my hard disk and
updated it to 1e958cc1942e.
Cheers
Lars
Last updated: Apr 25 2024 at 20:15 UTC