improved future_schedule: more robust handling of failed parents (explicit join), final join of all futures, including Exn.release_all;
# $Id$
#
include ../../Makefile.in
SEDINDEX = ../../sedindex
FIXBOOKMARKS = perl -pi ../../fixbookmarks.pl
isabelle_isar.eps:
test -r isabelle_isar.eps || ln -s ../../gfx/isabelle_isar.eps .
isabelle_isar.pdf:
test -r isabelle_isar.pdf || ln -s ../../gfx/isabelle_isar.pdf .