[isabelle] missing isabelle.jar

I wanted to try the jedit interface to Isabelle2009. The README file in lib/jedit mentions isabelle.jar that is supposed to be there, but the only jar files in the distribution are Pure.jar and GraphBrowser.jar. Was isabelle.jar forgotten? Can I download it from somewhere?



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.