Email Gateway (Jun 21 2022 at 18:25): Email Gateway (Jun 21 2022 at 18:25):From: Fabian Huch <huch@in.tum.de>
I'm happy to announce that after lots of tooling work, our AFP website
has a new design, envisioned by Carlin MacKenzie with the support of
James Vaughan and Jacques Fleuriot. You can find it at the usual place
(urls are the same)!
We'll consolidate author affiliations (email addresses, homepages) to
remove near-duplicates, and there will likely be some tuning and
tweaking in the coming weeks and months. But feel free to point out
problems and post suggestions for improvements, if you have any!
Cheers,
Fabian
Email Gateway (Jun 21 2022 at 19:14):From: Angeliki Koutsoukou Argyraki <ak2110@cam.ac.uk>
The new design looks excellent- congratulations!
I am curious about how the "related entries" works?
I had a look in some of the entries and some of the "related entries" indicated
do not really seem related.
Thank you,
Best wishes, Angeliki
Email Gateway (Jun 22 2022 at 07:20):From: Sophie Tourret <stourret@mpi-inf.mpg.de>
Thank you all for this work!
Here is a small question/suggestion:
Recently, while helping someone setting up the AFP for Isabelle/HOL on
windows, the instructions for referring to AFP entries in Isabelle/JEdit
for Windows (in https://www.isa-afp.org/help/) did not work. The problem
was fixed when we followed Jakub Kądziołka's suggestion, on Zulip (here:
https://isabelle.zulipchat.com/#narrow/stream/238552-Beginner-Questions/topic/afp/near/240305960)
to append "/thys" to the path to the AFP in the
"~/.isabelle/etc/components" file.
I don't know if this is just a documentation problem to fix on the
website, or if the issue lies with the "isabelle components -u
path/to/afp" command for windows (on linux, I never had a problem with
it), or if my student made a mistake somewhere during the process, but
it could be worth mentioning this issue and its fix in the Help section.
Best,
Sophie
smime.p7s
Email Gateway (Jun 23 2022 at 08:27):From: Fabian Huch <huch@in.tum.de>
Entries are related mainly by keyword similarity in their abstracts.
Fabian
Email Gateway (Jun 23 2022 at 09:22):From: Gerwin Klein <kleing@unsw.edu.au>
Hi Sophie,
thanks for reporting that! In the website merge I accidentally removed the update that had already changed the descripting to thys. It is now back and should work as described.
Cheers,
Gerwin
signature.asc
Last updated: Jul 15 2022 at 23:21 UTC