-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello,...
After a short academic course in Z (http://en.wikipedia.org/wiki/Z_notation) i was wondering if it is implemented in big Projects (GNU) i had been noted that Free Desktop use the approach of Z (formal specification to find potential bugs) does any one more use that ? - -- - -- Could you at least use man ? Jabka Atu (aka mha13/Mashrom Head) || bsh83.blogspot.com - -- -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iQIVAwUBRxkFAm9p6JnF9I1qAQJ02w/+IPmVq7hNbarUN4BldTQxs8a7Tx7dN+N3 DqpWYUmmSpG8zHxiusfi5B1peOBhrDNaTGPP7t1frovaCWqEz8nhUTu3ot0HG4Eg IOn6tvYTDq0TPHUxdMmVePJHcAtBtU9cl97M3mV4IX3gHRciVmjWimCsBrjNAanU 0IdWhCaTM7VRej1Jlr69V6rXl/cUlF2d0bkYoCbwKDYapWO84dJuh47begVm26rl BMGvfBCCLSHmjqwsYDmXY2W4Pz614FgsW4QqJ0d1Bu7MP6fLuizJ3O2+BJCIrJvT R6JvISwc0/zD9QgHlxmc0RhVJ1AbdPFq3Y0+OBcjUMmtCf7bksGMpRWn3Olu6NGn vaGRYyCUFuZdZtZSFUbmXgzTAgvBRQBfTilUirjaXA1x+LE5ak5CwgbH12RqpKAa Wcp0FzAg2up500gvDwqMvhkr2j8WSa9SjAVOjN5KCxcsQk/TQFzHpa5h9/KZX0To fMTNGqVpjHonpYT3fpXKj7Qp/qwaNS/ALB5Hv5vYsFhPmTS3fMiTpg1agnCR+LMU doyJwVPXhGR+5a4sOs7yAkN1tmI740jR4mF0VoATINa8cH8jeUi9RPZSgrAJ53O1 4vzMUxZoE3M1PKTqRNGahogTinhNwV2pyFg/on1st6ZNhc9tPYgvFFL3tlVE+KMy xpjEajAd9qI= =39cB -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]