| changeset 56451 | 856492b0f755 |
| parent 56450 | 16d4213d4cbc |
| child 56452 | 0c98c9118407 |
--- a/src/Doc/Prog-Prove/document/build Mon Apr 07 16:37:57 2014 +0200 +++ /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/Prog-Prove/MyList.thy" . - -"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" -