Re: [isabelle] Isabelle2013-RC1 Sledge output finicky



On Mon, 28 Jan 2013, Gottfried Barrow wrote:

Stay tuned and keep fingers crossed ...

Let the magic continue in convenient parallel processes. I have considered many times how the low-level engine magicians don't get their due credit.

It is more like the architects of Stonehenge -- nobody remembers them now, and nobody has the slightest idea how they did it.


	Makarius





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