head	1.2;
access;
symbols
	pkgsrc-2017Q2:1.1.1.1.0.58
	pkgsrc-2017Q2-base:1.1.1.1
	pkgsrc-2017Q1:1.1.1.1.0.56
	pkgsrc-2017Q1-base:1.1.1.1
	pkgsrc-2016Q4:1.1.1.1.0.54
	pkgsrc-2016Q4-base:1.1.1.1
	pkgsrc-2016Q3:1.1.1.1.0.52
	pkgsrc-2016Q3-base:1.1.1.1
	pkgsrc-2016Q2:1.1.1.1.0.50
	pkgsrc-2016Q2-base:1.1.1.1
	pkgsrc-2016Q1:1.1.1.1.0.48
	pkgsrc-2016Q1-base:1.1.1.1
	pkgsrc-2015Q4:1.1.1.1.0.46
	pkgsrc-2015Q4-base:1.1.1.1
	pkgsrc-2015Q3:1.1.1.1.0.44
	pkgsrc-2015Q3-base:1.1.1.1
	pkgsrc-2015Q2:1.1.1.1.0.42
	pkgsrc-2015Q2-base:1.1.1.1
	pkgsrc-2015Q1:1.1.1.1.0.40
	pkgsrc-2015Q1-base:1.1.1.1
	pkgsrc-2014Q4:1.1.1.1.0.38
	pkgsrc-2014Q4-base:1.1.1.1
	pkgsrc-2014Q3:1.1.1.1.0.36
	pkgsrc-2014Q3-base:1.1.1.1
	pkgsrc-2014Q2:1.1.1.1.0.34
	pkgsrc-2014Q2-base:1.1.1.1
	pkgsrc-2014Q1:1.1.1.1.0.32
	pkgsrc-2014Q1-base:1.1.1.1
	pkgsrc-2013Q4:1.1.1.1.0.30
	pkgsrc-2013Q4-base:1.1.1.1
	pkgsrc-2013Q3:1.1.1.1.0.28
	pkgsrc-2013Q3-base:1.1.1.1
	pkgsrc-2013Q2:1.1.1.1.0.26
	pkgsrc-2013Q2-base:1.1.1.1
	pkgsrc-2013Q1:1.1.1.1.0.24
	pkgsrc-2013Q1-base:1.1.1.1
	pkgsrc-2012Q4:1.1.1.1.0.22
	pkgsrc-2012Q4-base:1.1.1.1
	pkgsrc-2012Q3:1.1.1.1.0.20
	pkgsrc-2012Q3-base:1.1.1.1
	pkgsrc-2012Q2:1.1.1.1.0.18
	pkgsrc-2012Q2-base:1.1.1.1
	pkgsrc-2012Q1:1.1.1.1.0.16
	pkgsrc-2012Q1-base:1.1.1.1
	pkgsrc-2011Q4:1.1.1.1.0.14
	pkgsrc-2011Q4-base:1.1.1.1
	pkgsrc-2011Q3:1.1.1.1.0.12
	pkgsrc-2011Q3-base:1.1.1.1
	pkgsrc-2011Q2:1.1.1.1.0.10
	pkgsrc-2011Q2-base:1.1.1.1
	pkgsrc-2011Q1:1.1.1.1.0.8
	pkgsrc-2011Q1-base:1.1.1.1
	pkgsrc-2010Q4:1.1.1.1.0.6
	pkgsrc-2010Q4-base:1.1.1.1
	pkgsrc-2010Q3:1.1.1.1.0.4
	pkgsrc-2010Q3-base:1.1.1.1
	pkgsrc-2010Q2:1.1.1.1.0.2
	pkgsrc-2010Q2-base:1.1.1.1
	pkgsrc-base:1.1.1.1
	TNF:1.1.1;
locks; strict;
comment	@# @;


1.2
date	2017.09.08.21.57.40;	author markd;	state dead;
branches;
next	1.1;
commitid	AqjXymCTD8dZqr6A;

1.1
date	2010.04.21.05.37.58;	author minskim;	state Exp;
branches
	1.1.1.1;
next	;

1.1.1.1
date	2010.04.21.05.37.58;	author minskim;	state Exp;
branches;
next	;


desc
@@


1.2
log
@Remove tex-acromake{,-doc} tex-circle{,-doc} tex-misc209
Delete obsolete texlive packages that were only referenced from teTeX
@
text
@This package provides circles in math mode that can be used for the
nextstep operator of temporal logic, in conjunction with \Box and
\Diamond (latexsym) or \square and \lozenge (amssymb).  LaTeX circles
\circ and \bigcirc are not of the right size.  The circles are taken
from the font lcircle10.  The package contains some hacks to
approximate the right size and this solution is definitely not
sufficient to give a high quality output.
@


1.1
log
@Initial revision
@
text
@@


1.1.1.1
log
@Import tex-circle-2009 as print/tex-circle.

This package provides circles in math mode that can be used for the
nextstep operator of temporal logic, in conjunction with \Box and
\Diamond (latexsym) or \square and \lozenge (amssymb).  LaTeX circles
\circ and \bigcirc are not of the right size.  The circles are taken
from the font lcircle10.  The package contains some hacks to
approximate the right size and this solution is definitely not
sufficient to give a high quality output.
@
text
@@