[isabelle-dev] JDK component and platform neutrality

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sun May 27 20:59:13 CEST 2012


Hi again,

/home/isabelle/contrib_devel/jdk-6u31_x86_64-linux
/home/isabelle/contrib_devel/jdk-6u31_x86-linux

This seems to indicate that the JDK component does not follow the common
COMPONENT/PLATFORM/… scheme for components.  Is there any reason for this?

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120527/baf9ce92/attachment.asc>


More information about the isabelle-dev mailing list