Stream: General

Topic: AFP entry broken


view this post on Zulip waynee95 (Dec 01 2022 at 15:40):

Not sure if this is the right place but I just noticed that the AFP entry

https://www.isa-afp.org/entries/Multitape_To_Singletape_TM.html

seems to be broken. The theory files have no content and proof outline and document don't exist.

view this post on Zulip Manuel Eberl (Dec 01 2022 at 21:16):

I think it just takes a while after the entry is first added. Not sure.

view this post on Zulip Manuel Eberl (Dec 01 2022 at 21:16):

I just tried it and it seems to work.


Last updated: Mar 28 2024 at 12:29 UTC