How do I do the equivalent of "isabelle usedir -P URL" in the new build system?
I'm trying to make sure that generated HTML for AFP entries doesn't contain dangling links of the form "up to index of HOL/HOLCF" Basically, only the HTML for AFP entries should be on the AFP site, the rest should link back to the distribution. I'm not sure where/how to say which sessions should generate back links and which not and I couldn't find anything enlightening in isabelle options. Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
