Re: [isabelle] Is there an “isabelle make” tutorial?

Le Wed, 08 Aug 2012 00:47:39 +0200, Yannick Duchêne (Hibou57) <yannick_duchene at> a écrit:

After Markus's comments,

Sorry, please read “Makarius's comments” (was not the sole time I did this error)

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.