Stream: Mirror: Isabelle Development Mailing List

Topic: Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:2...

Email Gateway (Feb 16 2025 at 10:31):

From: Makarius <makarius@sketis.net>
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

Email Gateway (Feb 16 2025 at 10:35):

From: Tobias Nipkow <nipkow@in.tum.de>
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

smime.p7s

Last updated: May 09 2025 at 04:26 UTC