[isabelle] Building just "AFP slow" entries



Dear list,

is it at all possible to run just the AFP entries tagged "slow"? If I
use "isabelle build" with the flags "-d $AFP -g slow" it also builds
"HOL-Proofs".

Cheers
Lars




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