| changeset 56420 | b266e7a86485 |
| parent 56419 | f47de9e82b0f |
| child 56431 | 4eb88149c7b2 |
--- a/src/Doc/ProgProve/document/build Sat Apr 05 17:52:29 2014 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,13 +0,0 @@ -#!/usr/bin/env bash - -set -e - -FORMAT="$1" -VARIANT="$2" - -"$ISABELLE_TOOL" logo HOL - -cp "$ISABELLE_HOME/src/Doc/ProgProve/MyList.thy" . - -"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" -