[isabelle-dev] Isabelle repository version, problems starting up

[Peter Lammich]

> I can think of ways to make this even simpler and more robust, but
> just a few
> days ago I've found our "quick-start from 0 to 100" from the
> repository
> exceedingly straight-forward compared to software distributions by
> our
> colleagues with OCaml or Haskell background.

I agree, once you find the README_REPOSITORY, there are no open
questions any more, and at least on Linux it took me much less than the
advertised 30 minutes to be up and running :) 



> 
> 
> 	Makarius