Hi Makarius, > In Isabelle/7c8ce63a3c00 from today, the isabelle build dependency check > should be a bit faster, although I had to disable the parallelization > again, because it is unstable in scala-2.9.2 (in scala-2.10.0.RC3 it > appears to work).
http://isabelle.in.tum.de/reports/Isabelle/rev/ee729dbd1b7f#l1.310 looks like a revival of the ancient »this belongs to foo« joke. Is this supposed to stay? > This is relevant for Isabelle/jEdit users, because the selected logic > session is now checked and built on startup. Nice. > Another consequence: it is now more easy to switch logic sessions, say > HOLCF, HOL-Word, HOL-Nominal. By which means? The selector in jEdit always has appeared pointless to me since it is only in effect after a restart. Cheers, 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
