# HG changeset patch
# User wenzelm
# Date 1346102985 -7200
# Node ID c548d26daa8c7bb24327e67b7c292302380a3ba1
# Parent  8cd245b8ccb17bad61cfb46caa06108acd4b6cca
avoid clash with generated Adaptation.tex on case-insensible file-systems;

diff -r 8cd245b8ccb1 -r c548d26daa8c doc-src/Codegen/Adaptation.thy
--- a/doc-src/Codegen/Adaptation.thy	Mon Aug 27 23:10:54 2012 +0200
+++ b/doc-src/Codegen/Adaptation.thy	Mon Aug 27 23:29:45 2012 +0200
@@ -71,7 +71,7 @@
   conceptually supposed to be:
 
   \begin{figure}[here]
-    \includegraphics{adaptation}
+    \includegraphics{adapt}
     \caption{The adaptation principle}
     \label{fig:adaptation}
   \end{figure}
diff -r 8cd245b8ccb1 -r c548d26daa8c doc-src/Codegen/Makefile
--- a/doc-src/Codegen/Makefile	Mon Aug 27 23:10:54 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,53 +0,0 @@
-
-## targets
-
-default: dvi
-
-
-## dependencies
-
-include ../Makefile.in
-
-NAME = codegen
-
-FILES = $(NAME).tex Thy/document/*.tex \
-  style.sty ../iman.sty ../extra.sty ../isar.sty \
-  ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \
-  ../manual.bib ../proof.sty
-
-dvi: $(NAME).dvi
-
-$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps
-	$(LATEX) $(NAME)
-	$(BIBTEX) $(NAME)
-	$(LATEX) $(NAME)
-	$(LATEX) $(NAME)
-
-pdf: $(NAME).pdf
-
-$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf
-	$(PDFLATEX) $(NAME)
-	$(BIBTEX) $(NAME)
-	$(PDFLATEX) $(NAME)
-	$(PDFLATEX) $(NAME)
-	$(FIXBOOKMARKS) $(NAME).out
-	$(PDFLATEX) $(NAME)
-	$(PDFLATEX) $(NAME)
-
-architecture.dvi: Thy/pictures/architecture.tex
-	latex -output-directory=$(dir $@) $<
-
-adaptation.dvi: Thy/pictures/adaptation.tex
-	latex -output-directory=$(dir $@) $<
-
-architecture.eps: architecture.dvi
-	dvips -E -o $@ $<
-
-adaptation.eps: adaptation.dvi
-	dvips -E -o $@ $<
-
-architecture.pdf: architecture.eps
-	epstopdf --outfile=$@ $<
-
-adaptation.pdf: adaptation.eps
-	epstopdf --outfile=$@ $<
diff -r 8cd245b8ccb1 -r c548d26daa8c doc-src/Codegen/document/adapt.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Codegen/document/adapt.tex	Mon Aug 27 23:29:45 2012 +0200
@@ -0,0 +1,52 @@
+
+\documentclass[12pt]{article}
+\usepackage{tikz}
+
+\begin{document}
+
+\thispagestyle{empty}
+\setlength{\fboxrule}{0.01pt}
+\setlength{\fboxsep}{4pt}
+
+\fcolorbox{white}{white}{
+
+\begin{tikzpicture}[scale = 0.5]
+  \tikzstyle water=[color = blue, thick]
+  \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]
+  \tikzstyle process=[color = green, semithick, ->]
+  \tikzstyle adaptation=[color = red, semithick, ->]
+  \tikzstyle target=[color = black]
+  \foreach \x in {0, ..., 24}
+    \draw[style=water] (\x, 0.25) sin + (0.25, 0.25) cos + (0.25, -0.25) sin
+      + (0.25, -0.25) cos + (0.25, 0.25);
+  \draw[style=ice] (1, 0) --
+    (3, 6) node[above, fill=white] {logic} -- (5, 0) -- cycle;
+  \draw[style=ice] (9, 0) --
+    (11, 6) node[above, fill=white] {intermediate language} -- (13, 0) -- cycle;
+  \draw[style=ice] (15, -6) --
+    (19, 6) node[above, fill=white] {target language} -- (23, -6) -- cycle;
+  \draw[style=process]
+    (3.5, 3) .. controls (7, 5) .. node[fill=white] {translation} (10.5, 3);
+  \draw[style=process]
+    (11.5, 3) .. controls (15, 5) .. node[fill=white] (serialisation) {serialisation} (18.5, 3);
+  \node (adaptation) at (11, -2) [style=adaptation] {adaptation};
+  \node at (19, 3) [rotate=90] {generated};
+  \node at (19.5, -5) {language};
+  \node at (19.5, -3) {library};
+  \node (includes) at (19.5, -1) {includes};
+  \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
+  \draw[style=process]
+    (includes) -- (serialisation);
+  \draw[style=process]
+    (reserved) -- (serialisation);
+  \draw[style=adaptation]
+    (adaptation) -- (serialisation);
+  \draw[style=adaptation]
+    (adaptation) -- (includes);
+  \draw[style=adaptation]
+    (adaptation) -- (reserved);
+\end{tikzpicture}
+
+}
+
+\end{document}
diff -r 8cd245b8ccb1 -r c548d26daa8c doc-src/Codegen/document/adaptation.tex
--- a/doc-src/Codegen/document/adaptation.tex	Mon Aug 27 23:10:54 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,52 +0,0 @@
-
-\documentclass[12pt]{article}
-\usepackage{tikz}
-
-\begin{document}
-
-\thispagestyle{empty}
-\setlength{\fboxrule}{0.01pt}
-\setlength{\fboxsep}{4pt}
-
-\fcolorbox{white}{white}{
-
-\begin{tikzpicture}[scale = 0.5]
-  \tikzstyle water=[color = blue, thick]
-  \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]
-  \tikzstyle process=[color = green, semithick, ->]
-  \tikzstyle adaptation=[color = red, semithick, ->]
-  \tikzstyle target=[color = black]
-  \foreach \x in {0, ..., 24}
-    \draw[style=water] (\x, 0.25) sin + (0.25, 0.25) cos + (0.25, -0.25) sin
-      + (0.25, -0.25) cos + (0.25, 0.25);
-  \draw[style=ice] (1, 0) --
-    (3, 6) node[above, fill=white] {logic} -- (5, 0) -- cycle;
-  \draw[style=ice] (9, 0) --
-    (11, 6) node[above, fill=white] {intermediate language} -- (13, 0) -- cycle;
-  \draw[style=ice] (15, -6) --
-    (19, 6) node[above, fill=white] {target language} -- (23, -6) -- cycle;
-  \draw[style=process]
-    (3.5, 3) .. controls (7, 5) .. node[fill=white] {translation} (10.5, 3);
-  \draw[style=process]
-    (11.5, 3) .. controls (15, 5) .. node[fill=white] (serialisation) {serialisation} (18.5, 3);
-  \node (adaptation) at (11, -2) [style=adaptation] {adaptation};
-  \node at (19, 3) [rotate=90] {generated};
-  \node at (19.5, -5) {language};
-  \node at (19.5, -3) {library};
-  \node (includes) at (19.5, -1) {includes};
-  \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
-  \draw[style=process]
-    (includes) -- (serialisation);
-  \draw[style=process]
-    (reserved) -- (serialisation);
-  \draw[style=adaptation]
-    (adaptation) -- (serialisation);
-  \draw[style=adaptation]
-    (adaptation) -- (includes);
-  \draw[style=adaptation]
-    (adaptation) -- (reserved);
-\end{tikzpicture}
-
-}
-
-\end{document}
diff -r 8cd245b8ccb1 -r c548d26daa8c doc-src/Codegen/document/build
--- a/doc-src/Codegen/document/build	Mon Aug 27 23:10:54 2012 +0200
+++ b/doc-src/Codegen/document/build	Mon Aug 27 23:29:45 2012 +0200
@@ -14,7 +14,7 @@
 cp "$ISABELLE_HOME/doc-src/proof.sty" .
 cp "$ISABELLE_HOME/doc-src/manual.bib" .
 
-for NAME in architecture adaptation
+for NAME in architecture adapt
 do
   latex "$NAME"
   $ISABELLE_DVIPS -E -o "$NAME.eps" "$NAME.dvi"
diff -r 8cd245b8ccb1 -r c548d26daa8c doc-src/ROOT
--- a/doc-src/ROOT	Mon Aug 27 23:10:54 2012 +0200
+++ b/doc-src/ROOT	Mon Aug 27 23:29:45 2012 +0200
@@ -19,7 +19,7 @@
     Adaptation
     Further
   files
-    "document/adaptation.tex"
+    "document/adapt.tex"
     "document/architecture.tex"
     "document/build"
     "document/root.tex"