more efficient Markup_Tree, based on branches sorted by quasi-order;
renamed markup_node.scala to markup_tree.scala and classes/objects accordingly;
Position.Range: produce actual Text.Range;
Symbol.Index.decode: convert 1-based Isabelle offsets here;
added static Command.range;
simplified Command.markup;
Document_Model.token_marker: flatten markup at most once;
tuned;
#
# $Id$
#
# Common part for Doc Makefiles
#
## settings
LATEX = latex
PDFLATEX = pdflatex
BIBTEX = bibtex
RAIL = rail -a
SEDINDEX = ../sedindex
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
DEFAULT_OUTPUT = *.dvi *.pdf *.ps
GARBAGE =
OUTPUT =
## special targets
.DELETE_ON_ERROR:
## actions
nothing:
clean:
@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
mrproper:
@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
isabelle.eps:
test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
isabelle_isar.eps:
test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
isabelle_hol.eps:
test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
isabelle_zf.eps:
test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
isabelle_nitpick.eps:
test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
isabelle_sledgehammer.eps:
test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
isabelle.pdf:
test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
isabelle_isar.pdf:
test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
isabelle_hol.pdf:
test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
isabelle_zf.pdf:
test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
isabelle_nitpick.pdf:
test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
isabelle_sledgehammer.pdf:
test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
typedef.ps:
test -r typedef.ps || ln -s ../gfx/typedef.ps .
typedef.pdf:
test -r typedef.pdf || ln -s ../gfx/typedef.pdf .