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

Makarius makarius at sketis.net
Fri Mar 12 16:11:01 CET 2021


On 12/03/2021 14:57, Peter Lammich wrote:
> On Fri, 2021-03-12 at 14:28 +0100, Makarius wrote:
>>
>> What does "isabelle components -l" say?
> 
> It listed a few components as available, and none as missing. Java was
> in neither list!
> 
> (As I have fixed the problem now, I cannot reproduce the exact output
> any more)

It listed the components that are "built-in" the repository clone, but not the
add-on components, which are "bundled" for a proper release.

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.


	Makarius


More information about the isabelle-dev mailing list