Re: [isabelle] Isabelle2013-RC1 Sledge output finicky
On Mon, 28 Jan 2013, Gottfried Barrow wrote:
Let the magic continue in convenient parallel processes. I have
considered many times how the low-level engine magicians don't get their
Stay tuned and keep fingers crossed ...
It is more like the architects of Stonehenge -- nobody remembers them now,
and nobody has the slightest idea how they did it.
This archive was generated by a fusion of
Pipermail (Mailman edition) and