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

Peter Lammich lammich at in.tum.de
Fri Mar 12 16:57:22 CET 2021

> 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

More information about the isabelle-dev mailing list