summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf-dist/doc/latex/circle/circle.pdfbin0 -> 185801 bytes
-rw-r--r--Master/texmf-dist/doc/latex/circle/circle.tex47
-rw-r--r--Master/texmf-dist/tex/latex/circle/circle.sty (renamed from Master/texmf-dist/tex/latex/ltxmisc/circle.sty)0
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check2
-rw-r--r--Master/tlpkg/tlpsrc/circle.tlpsrc0
-rw-r--r--Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc1
6 files changed, 49 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/circle/circle.pdf b/Master/texmf-dist/doc/latex/circle/circle.pdf
new file mode 100644
index 00000000000..21e4db02080
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/circle/circle.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/circle/circle.tex b/Master/texmf-dist/doc/latex/circle/circle.tex
new file mode 100644
index 00000000000..9043c0589a9
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/circle/circle.tex
@@ -0,0 +1,47 @@
+\documentclass[DIV=9, parskip=half, pagesize=auto]{scrartcl}
+
+\usepackage{fixltx2e}
+\usepackage{etex}
+\usepackage{xspace}
+\usepackage{lmodern}
+\usepackage[T1]{fontenc}
+\usepackage{textcomp}
+\usepackage{microtype}
+\usepackage[unicode=true]{hyperref}
+
+\newcommand*{\mail}[1]{\href{mailto:#1}{\texttt{#1}}}
+\newcommand*{\pkg}[1]{\textsf{#1}}
+\newcommand*{\cs}[1]{\texttt{\textbackslash#1}}
+\makeatletter
+\newcommand*{\cmd}[1]{\cs{\expandafter\@gobble\string#1}}
+\makeatother
+
+\addtokomafont{title}{\rmfamily}
+
+\title{The \pkg{circle} package}
+\author{Klaus G. Barthelmann, \mail{barthel@informatik.uni-mainz.de}}
+\date{1998/07/15}
+
+
+\begin{document}
+
+\maketitle
+
+As the name says, \cmd{\Circle} gives a circle in math mode. Its size lies between
+that of the binary operator \cmd{\circ} and that of the unary operator \cmd{\bigcirc}.
+It can be used as the nextstep operator of temporal logic in conjunction with
+\cmd{\Box} and \cmd{\Diamond} (\pkg{latexsym}) or \cmd{\square} and \cmd{\lozenge} (\pkg{amssymb}). \verb+\Circle[f]+
+gives a filled circle.
+
+As you probably know, L.~Lamport discouraged the use of the nextstep
+operator for program verification. This could be the reason that he did not
+provide a symbol for it in \LaTeX.
+
+The circles are taken from the \pkg{lcircle10} font. We try to choose the
+appropriate size. If you need a high quality output, this solution will not
+suit you.
+
+Bugs: circles have size $n$ at fontsize $2n-1$ and $2n$; they do not scale linearly
+depending on the fontsize
+
+\end{document}
diff --git a/Master/texmf-dist/tex/latex/ltxmisc/circle.sty b/Master/texmf-dist/tex/latex/circle/circle.sty
index f7428522a12..f7428522a12 100644
--- a/Master/texmf-dist/tex/latex/ltxmisc/circle.sty
+++ b/Master/texmf-dist/tex/latex/circle/circle.sty
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index b8453791de9..c9c9239d212 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -63,7 +63,7 @@ my @TLP_working = qw(
changebar changelayout changepage changes chappg chapterfolder
chbibref chem-journal chemarrow chembst chemcompounds chemcono
chemstyle cherokee chess-problem-diagrams chessboard chessfss
- chicago-annote chletter chngcntr circ circuitikz
+ chicago-annote chletter chngcntr circ circle circuitikz
cite citeref cjhebrew cjk cjkpunct cjw classicthesis
clefval cleveref
clock clrscode cm-super
diff --git a/Master/tlpkg/tlpsrc/circle.tlpsrc b/Master/tlpkg/tlpsrc/circle.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/circle.tlpsrc
diff --git a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc
index ad5ecf1dc0b..0bc83e0c455 100644
--- a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc
@@ -7,6 +7,7 @@ depend binomexp
depend boldtensors
depend bosisio
depend ccfonts
+depend circle
depend commath
depend concmath
depend concrete