[isabelle-dev] Aquamacs emacs

Makarius 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 mailing list