summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/circle
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-01-14 00:52:57 +0000
committerKarl Berry <karl@freefriends.org>2011-01-14 00:52:57 +0000
commit40919f27e1632deab6c1dfde9787c8183002da56 (patch)
tree219e07d65c39a2b2528fd6992891e906edf0eea6 /Master/texmf-dist/doc/latex/circle
parent0f7a0c6c2d40d1f9acff0dc48a25d92a8907cb1c (diff)
rm circle, noinfo on license, could not contact author (klaus barthelmann)
git-svn-id: svn://tug.org/texlive/trunk@21060 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/circle')
-rw-r--r--Master/texmf-dist/doc/latex/circle/circle.pdfbin185801 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/circle/circle.tex47
2 files changed, 0 insertions, 47 deletions
diff --git a/Master/texmf-dist/doc/latex/circle/circle.pdf b/Master/texmf-dist/doc/latex/circle/circle.pdf
deleted file mode 100644
index 21e4db02080..00000000000
--- a/Master/texmf-dist/doc/latex/circle/circle.pdf
+++ /dev/null
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/circle/circle.tex b/Master/texmf-dist/doc/latex/circle/circle.tex
deleted file mode 100644
index 9043c0589a9..00000000000
--- a/Master/texmf-dist/doc/latex/circle/circle.tex
+++ /dev/null
@@ -1,47 +0,0 @@
-\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}