Cross Reference: Makefile
xref
: /
hets
/
HolLight
/
Makefile
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
# $Id$
.
PHONY
:
check
check
:
hets
../
hets
-
v2
-t
HolLight2Isabelle
-o
thy
example_binom.hol
../
utils
/
nightly
/
runisabelle.sh
*.
thy
>
hol2isa.log
2
>
1
%:
(
cd
..;
$(
MAKE
)
$@)