On Sat, 27 Apr 2013, Florian Haftmann wrote:
http://isabelle.in.tum.de/reports/Isabelle/rev/8e0a1d0a41ff
This quotation is not very fair towards the Egyptian pyramids. It is
ignorant of contemporary historians' suppositions that »just« a few
thousand (personally free) workers had been working
Hi!
Recently I noticed that it takes considerably more time to build
Isabelle (makeall) on testboard than it used to take before. I did a
small inspection and something must have happened between 25.3.2013 and
26.3.2013 because this build from 25.3. took 27 minutes
On Sat, 4 May 2013, Florian Haftmann wrote:
Since this feature has already been implemented for the Haskell code
generator by Yukata, I'm hoping this will be straightforward and if
the maintainers are interested, the feature can be taken on into
Isabelle 2014.
I am myself not involved in the
On Wed, 8 May 2013, Avi Knoll wrote:
Using: changeset 51069:2f50ddd3b586
http://isabelle.in.tum.de/repos/isabelle/rev/2f50ddd3b586
First some hints about Isabelle repository usage.
* The physical index 51069 is private to your clone. It is not relevant
to anybody else.
Even for standard