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/LaTeXsugar/IsaMakefile
author paulson
Thu, 07 Dec 2006 16:47:36 +0100
changeset 21690 552d20ff9a95
parent 17098 dd769bd4d056
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
Removal of theorem tagging, which the ATP linkup no longer requires. Suffixes no longer blacklisted.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15337
nipkow
parents:
diff changeset 
     1
 











nipkow


parents: 

diff
changeset




     2


## targets












nipkow


parents: 

diff
changeset




     3













nipkow


parents: 

diff
changeset




     4


default: Sugar












nipkow


parents: 

diff
changeset




     5


images: 












nipkow


parents: 

diff
changeset




     6


test: Sugar












nipkow


parents: 

diff
changeset




     7













nipkow


parents: 

diff
changeset




     8


all: images test












nipkow


parents: 

diff
changeset




     9













nipkow


parents: 

diff
changeset




    10













nipkow


parents: 

diff
changeset




    11


## global settings












nipkow


parents: 

diff
changeset




    12













nipkow


parents: 

diff
changeset




    13


SRC = $(ISABELLE_HOME)/src












nipkow


parents: 

diff
changeset




    14


OUT = $(ISABELLE_OUTPUT)












nipkow


parents: 

diff
changeset




    15


LOG = $(OUT)/log












nipkow


parents: 

diff
changeset




    16









17098






dd769bd4d056
usedir: removed option -H;



wenzelm


parents: 
15898

diff
changeset




    17


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








15337





nipkow


parents: 

diff
changeset




    18













nipkow


parents: 

diff
changeset




    19













nipkow


parents: 

diff
changeset




    20


## Sugar












nipkow


parents: 

diff
changeset




    21













nipkow


parents: 

diff
changeset




    22


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












nipkow


parents: 

diff
changeset




    23









15471






e7f069887ec2
*** empty log message ***



nipkow


parents: 
15467

diff
changeset




    24


$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \













e7f069887ec2
*** empty log message ***



nipkow


parents: 
15467

diff
changeset




    25


  Sugar/document/root.tex Sugar/document/root.bib \








15898






435f0e743854
use absolute path to find LaTeXSugar and OptionalSugar



kleing


parents: 
15894

diff
changeset




    26


  $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 








15337





nipkow


parents: 

diff
changeset




    27


	@$(USEDIR) HOL Sugar












nipkow


parents: 

diff
changeset




    28













nipkow


parents: 

diff
changeset




    29













nipkow


parents: 

diff
changeset




    30


## clean












nipkow


parents: 

diff
changeset




    31













nipkow


parents: 

diff
changeset




    32


clean:












nipkow


parents: 

diff
changeset




    33


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















isabelle