| changeset 15891 | 260090b54ef9 |
| parent 15890 | ff6787d730d5 |
| child 15892 | 153541e29155 |
--- a/doc-src/Exercises/2000/Makefile Fri Apr 29 18:13:28 2005 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,20 +0,0 @@ -# -# $Id$ -# -# IsaMakefile for PSV2000 -# - -SESSIONS = a1 - -## targets - -default: sessions -sessions: $(SESSIONS) - - -## a1 - -a1: a1/generated/session.tex - -a1/generated/session.tex: a1/ROOT.ML a1/*.thy - isatool make