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

[Tobias Nipkow]

Thanks, I just realized that myself, but too late, Sorry about the noise.

Tobias

On 16/02/2025 11:30, Makarius wrote:
> 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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5187 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250216/fea0ee93/attachment.bin>