[isabelle-dev] Aquamacs emacs
makarius at sketis.net
Mon May 17 17:42:35 CEST 2010
On Mon, 17 May 2010, Makarius wrote:
> Right now I am bisecting our repository as David suggested, which is an
> interesting experience because last year's Isabelle/HOL builds really
> fast (factor 2 compared to today). I am close to get to the point,
> about 4 more bisections.
The result is on the PG trac for item #314. Really depressing, though ...
More information about the isabelle-dev