-- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:272:51

[Makarius]

On 16/02/2025 11:23, Tobias Nipkow wrote:
> $ isabelle components -a
> $ hg fetch
> pulling from ssh://isabelle//home/isabelle-repository/repos/isabelle
> searching for changes
> no changes found
> $ hg summary
> parent: 82185:cd96b972d5d3 tip
> $ isabelle build -b Pure
> ### Building AFP/Tools (/Users/nipkow/AFP/devel/tools/lib/classes/ 
> afp_tools.jar) ...
> method find_facts_index_command in object Find_Facts: (sessions: List[String], 

You need to fetch the AFP repository, too.


	Makarius