These are complete show-stoppers for us. Is there any hope
they may be fixed soon? Are there workarounds (even dirty
ones) we might use so as to proceed with our work?
Many thanks,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it