Ja, F# wird zum offiziellen MS Produkt.
Tobias
Steven Obua wrote:
> http://www.artima.com/forums/flat.jsp?forum=278&thread=217150
>
> ___
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.
http://www.artima.com/forums/flat.jsp?forum=278&thread=217150
hen.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de.pgp
-- next part --
A non-text attachment was scrubbed...
Name: florian.haftmann.vcf
Type: text/x-vcard
Size: 640 bytes
Desc: not available
Url :
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20071024/f1658c34/attachment.vcf