VERSION= 3.6


all: doc

dist: 
	mkdir ITL-$(VERSION)
	cp ChangeLog ITL-$(VERSION)
	cp Makefile ITL-$(VERSION)
	cp ROOT ITL-$(VERSION)
	cp TODO ITL-$(VERSION)
	cp output/document.pdf ITL-$(VERSION)
	cp Chopstar.thy ITL-$(VERSION)
	cp LList_Extras.thy ITL-$(VERSION)
	cp NELList.thy ITL-$(VERSION)
	cp NELList_Extras.thy ITL-$(VERSION)
	cp ITA.thy ITL-$(VERSION)
	cp ITL.thy ITL-$(VERSION)
	cp Omega.thy ITL-$(VERSION)
	cp Pi.thy ITL-$(VERSION)
	cp Projection.thy ITL-$(VERSION)
	cp SChopTheorems.thy ITL-$(VERSION)
	cp Semantics.thy ITL-$(VERSION)
	cp Theorems.thy ITL-$(VERSION)
	cp Until.thy ITL-$(VERSION)
	cp FOTheorems.thy ITL-$(VERSION)
	cp First.thy ITL-$(VERSION)
	cp Monitor.thy ITL-$(VERSION)
	cp MonitorExample.thy ITL-$(VERSION)
	cp TimeReversal.thy ITL-$(VERSION)
	cp PITL_Deep.thy ITL-$(VERSION)
	cp QPITL_Deep.thy ITL-$(VERSION)
	cp PITL_Deep_GNF.thy ITL-$(VERSION)
	cp QPITL_Deep_GNF.thy ITL-$(VERSION)
	cp CDT_PITL_Deep.thy ITL-$(VERSION)
	cp Extended_Int.thy ITL-$(VERSION)
	cp NL_ITL_Deep.thy ITL-$(VERSION)
	mkdir ITL-$(VERSION)/document
	cp document/root.tex ITL-$(VERSION)/document/root.tex
	cp document/root.bib ITL-$(VERSION)/document/root.bib
	tar -czvf ITL-$(VERSION).tar.gz ITL-$(VERSION)
	rm -rf ITL-$(VERSION)

doc:
	/Applications/Isabelle2025-1.app/bin/isabelle build -d . -o browser_info -v ITLv3

log:
	/Applications/Isabelle2025-1.app/bin/isabelle build_log -v ITLv3

components:
	/Applications/Isabelle2025-1.app/bin/isabelle components -a
