> It means ProofGeneral-4.1 will be there by default, if Florian's way to > init the components for repository versions is used. So after > sufficiently many people have picked up that scheme, the old guess mode > via "choosefrom" can be discontinued.
See http://isabelle.in.tum.de/reports/Isabelle/rev/1bee47c0c278 for the current situation. I'm still not sure how to deal with the non-free components. Have one components file and one components-optional? Btw. is the universal JDK component freely distributable? In that case I will tar it to the official store http://isabelle.in.tum.de/devel/components/ In the next iteration I want to adjust mira handle components via the existing scriptlet in Admin. Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
