Re: [isabelle] Starting soonâ Verified Firewall Ruleset Verification
On 29/12/15 11:33, Makarius wrote:
On Tue, 29 Dec 2015, C. Diekmann wrote:
Very interesting. Is there a recording of the original sound -- without
the German translation?
This archive was generated by a fusion of
Pipermail (Mailman edition) and