[isabelle-dev] Repository OK?

[Amine Chaieb]

Hi,

I updated and get the following error. What is Option?

Amine.

bash-3.2$ hg fetch
Password:
pulling from 
ssh://chaieb@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
searching for changes
adding changesets
adding manifests
adding file changes
added 220 changesets with 900 changes to 440 files (+1 heads)
updating to 30244:aea5d7fa7ef5
414 files updated, 0 files merged, 121 files removed, 0 files unresolved
merging with 30024:f36741094f34
0 files updated, 0 files merged, 0 files removed, 0 files unresolved
new changeset 30245:06b2d7f9f64b merges remote changes with local
bash-3.2$ pwd
/Users/ac638/tools/isabelle
bash-3.2$ cd src/HOL
bash-3.2$ isabelle make HOL-Library
Building Pure ...
Finished Pure (0:00:11 elapsed time, 0:00:07 cpu time, factor 0.63)
make: *** No rule to make target `Option.thy', needed by 
`/Users/ac638/.isabelle/heaps//polyml-5.2.1_x86-darwin/HOL'.  Stop.