> 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
