Mercurial Mercurial > repos > isabelle / annotate
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.
doc-src/Intro/Makefile
author oheimb
Sat, 15 Feb 1997 17:43:27 +0100
changeset 2633 37c0b5a7ee5d
parent 1053 a19fbe807f91
child 2656 71097a167f0b
permissions -rw-r--r--
added delcongs, Delcongs, unsafe_solver, safe_solver, FOL_basic_ss, safe_asm_more_full_simp_tac new addss (old version retained as unsafe_addss), new auto_tac (old version retained as unsafe_auto_tac), clasimpset with modification functions
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
603
62b44d488af6 New Makefile for Introduction
lcp
parents:
diff changeset 
     1
 
#  $Id$
62b44d488af6 New Makefile for Introduction
lcp
parents:
diff changeset 
     2
 
#########################################################################
62b44d488af6 New Makefile for Introduction
lcp
parents:
diff changeset 
     3
 
#									#
62b44d488af6 New Makefile for Introduction
lcp
parents:
diff changeset 
     4
 
#	Makefile for the report "Introduction to Isabelle"		#
62b44d488af6 New Makefile for Introduction
lcp
parents:
diff changeset 
     5
 
#									#
62b44d488af6 New Makefile for Introduction
lcp
parents:
diff changeset 
     6
 
#########################################################################
62b44d488af6 New Makefile for Introduction
lcp
parents:
diff changeset 
     7
 












62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




     8














62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




     9


FILES =  intro.tex foundations.tex getting.tex advanced.tex \













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    10


	 ../iman.sty ../extra.sty













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    11














62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    12


intro.dvi.gz:   $(FILES) 








1053






a19fbe807f91
Removes (obsolete) target if already present.



lcp


parents: 
603

diff
changeset




    13


	-rm intro.dvi.gz








603






62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    14


	latex209 intro













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    15


	bibtex intro













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    16


	latex209 intro













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    17


	latex209 intro













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    18


	../sedindex intro













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    19


	latex209 intro













62b44d488af6
New Makefile for Introduction



lcp


parents: 

diff
changeset




    20


	gzip -f intro.dvi















isabelle