Mercurial Mercurial > hg > nominal2 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IsaMakefile
changeset 2786 bccda961a612
parent 2785 c63ffe1735eb
child 2856 e36beb11723c
equal deleted inserted replaced
2785:c63ffe1735eb 2786:bccda961a612 
   140 	cp Slides/generated7/root.beamer.pdf Slides/slides7.pdf 
   140 	cp Slides/generated7/root.beamer.pdf Slides/slides7.pdf 
   141 
   141 
   142 session8: Slides/ROOT8.ML \
 
   142 session8: Slides/ROOT8.ML \
 
   143          Slides/document/root* \
 
   143          Slides/document/root* \
 
   144          Slides/Slides6.thy
 
   144          Slides/Slides6.thy
 
   145 	@$(USEDIR) -D generated8 -f ROOT8.ML HOL Slides
 
   145 	@$(USEDIR) -D generated8 -f ROOT8.ML HOL-Nominal Slides
 
   146 
   146 
   147 slides8: session8
 
   147 slides8: session8
 
   148 	rm -f Slides/generated8/*.aux # otherwise latex will fall over                                      
   148 	rm -f Slides/generated8/*.aux # otherwise latex will fall over                                      
   149 	cd Slides/generated8 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
 
   149 	cd Slides/generated8 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
 
   150 	cd Slides/generated8 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
 
   150 	cd Slides/generated8 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
nominal2