Re: [isabelle] download all the entries for all the packages needed
The simplest solution is to download the whole AFP - it is not so big (yet).
Here is how you should install and use it: http://afp.sourceforge.net/using.shtml
There is no facility yet to pull in exactly the articles needed.
Am 18/10/2012 14:50, schrieb li yongjian:
> Hi， Isabelle experts:
> I have downloaded the theory package shortest_path from AFP, but
> when I run the proof
> script dijkstra.thy, it need the Refine_Monadic/Refine.thy, which
> in turn need another
> theory package collection?
> Can anyone tell me how to download all the entries for all the
> packages needed?
This archive was generated by a fusion of
Pipermail (Mailman edition) and