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/TutorialI/Overview/IsaMakefile
author obua
Thu, 07 Jul 2005 19:01:04 +0200
changeset 16743 21dbff595bf6
parent 13439 2f98365f57a8
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
1) all theorems in Orderings can now be given as a parameter 2) new function Theory.defs_of 3) new functions Defs.overloading_info and Defs.is_overloaded
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13263
203c5f789c09 *** empty log message ***
nipkow
parents:
diff changeset 
     1
 
## targets
203c5f789c09 *** empty log message ***
nipkow
parents:
diff changeset 
     2
 












203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




     3


default: LNCS













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




     4














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




     5


## global settings













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




     6














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




     7


SRC = $(ISABELLE_HOME)/src













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




     8


OUT = $(ISABELLE_OUTPUT)













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




     9


LOG = $(OUT)/log













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    10


USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    11














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    12














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    13


## LNCS













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    14














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    15


LNCS: $(LOG)/HOL-LNCS.gz













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    16









13439






2f98365f57a8
*** empty log message ***



nipkow


parents: 
13263

diff
changeset




    17


$(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/document/root.bib LNCS/*.thy








13263






203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    18


	@$(USEDIR) HOL LNCS













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    19














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    20














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    21


## clean













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    22














203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    23


clean:













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    24


	@rm -f $(LOG)/HOL-LNCS.gz













203c5f789c09
*** empty log message ***



nipkow


parents: 

diff
changeset




    25
















isabelle