Re: [isabelle-dev] Rat.normalize
Is there a better name for Rat.normalize? IMHO, in most contexts, Rat.normalize is a more descriptive name than normalize. If I had to invent a base name, it would probably be normalize_rat or rat_normalize... So I would suggest hide (open). I support this. Florian -- Home: http://www.in.tum.de/~haftmann 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 Isabelle-dev@mailbroy.informatik.tu-muenchen.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Poly/ML 5.3.0 packaging
For the upcoming Isabelle release there will be a repackaged version of Poly/ML 5.3.0, see the current setup in http://www4.in.tum.de/~wenzelm/test/polyml-5.3.0.tar.gz The same is already installed at /home/polyml/polyml-5.3.0 locally. There are two notable changes for improved performance: * A SHA1 implementation as shared object (by Sascha Böhme). It is available from ML via the SHA1.digest function. In the very worst case the whole thing may halt and catch fire, please report any problems you encounter on your system. * Some tuning of the Poly/ML runtime to shorted the (busy) wait interval for external processes from 100ms to 10ms. This improves reactivity of the ML bash/bash_output functions, at the cost of burning a few extra cycles. Makarius___ Isabelle-dev mailing list Isabelle-dev@mailbroy.informatik.tu-muenchen.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev