Re: [isabelle] Algebraic_Numbers

Hi RenÃ,

> it is perfectly fine to me, to create a separate target in the ROOT file without the tests,
> e.g., as indicated below. However, Iâm unsure how the document preparation will work in this
> way. Somehow both entries contribute to the final PDF, i.e., both parts should be displayed on
> the AFP-website.
> Does anybody know an easy solution to this?

as far as I can tell, there is no easy solution just yet. The
medium-term goal is to automate publishing of artifacts from stable AFP
using Jenkins. This will mean a publicly-browsable directory of all
PDFs, HTMLs, tars, ...


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.