[isabelle-dev] Aquamacs emacs

[Makarius]

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 ...


 	Makarius