summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/ptolemaicastronomy/ptolemaicastronomy.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/ptolemaicastronomy/ptolemaicastronomy.ins')
-rw-r--r--Master/texmf-dist/source/latex/ptolemaicastronomy/ptolemaicastronomy.ins84
1 files changed, 84 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/ptolemaicastronomy/ptolemaicastronomy.ins b/Master/texmf-dist/source/latex/ptolemaicastronomy/ptolemaicastronomy.ins
new file mode 100644
index 00000000000..cb405082036
--- /dev/null
+++ b/Master/texmf-dist/source/latex/ptolemaicastronomy/ptolemaicastronomy.ins
@@ -0,0 +1,84 @@
+%%
+%% This is file `ptolemaicastronomy.ins',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% ptolemaicastronomy.dtx (with options: `install')
+%%
+%% ptolemaicastronomy
+%% ==================
+%%
+%% Diagrams of sphere models for variably strict conditionals (Lewis
+%% counterfactuals)
+%%
+%% Author: Richard Zach
+%% E-mail: rzach@ucalgary.ca
+%% License: Released under the LaTeX Project Public License v1.3c or later
+%% See: http://www.latex-project.org/lppl.txt
+%%
+%% David K. Lewis (Counterfactuals, Blackwell 1973) introduced a sphere
+%% semantics for counterfactual conditionals. He jokingly referred to the
+%% diagrams depicting such sphere models as Ptolemaic astronomy, hence
+%% the name of this package. It has nothing to do with Ptolemy or with
+%% astronomy, sorry.
+%%
+%% The macros provided in this package aid in the construction of
+%% sphere model diagrams in the style of Lewis. The macros all make use
+%% of TikZ.
+%%
+%% for documentation and source code see
+%% https://github.com/rzach/ptolemaic-astronomy
+%%
+\input docstrip.tex
+\keepsilent
+\askforoverwritefalse
+\preamble
+
+ptolemaicastronomy
+==================
+
+Diagrams of sphere models for variably strict conditionals (Lewis
+counterfactuals)
+
+Author: Richard Zach
+E-mail: rzach@ucalgary.ca
+License: Released under the LaTeX Project Public License v1.3c or later
+See: http://www.latex-project.org/lppl.txt
+
+David K. Lewis (Counterfactuals, Blackwell 1973) introduced a sphere
+semantics for counterfactual conditionals. He jokingly referred to the
+diagrams depicting such sphere models as Ptolemaic astronomy, hence
+the name of this package. It has nothing to do with Ptolemy or with
+astronomy, sorry.
+
+The macros provided in this package aid in the construction of
+sphere model diagrams in the style of Lewis. The macros all make use
+of TikZ.
+
+for documentation and source code see
+https://github.com/rzach/ptolemaic-astronomy
+
+\endpreamble
+\usedir{tex/latex/ptolemaicastronomy}
+\generate{
+ \file{\jobname.sty}{\from{\jobname.dtx}{package}}
+}
+\endbatchfile
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+\endinput
+%%
+%% End of file `ptolemaicastronomy.ins'.