NOTICE: This package has been removed from pkgsrc

./print/tex-circle, Maths mode circles for temporal logic

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]


Branch: CURRENT, Version: 2009, Package name: tex-circle-2009, Maintainer: minskim

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.


Required to run:
[print/kpathsea]

Master sites: (Expand)


Version history: (Expand)


CVS history: (Expand)


   2017-09-08 23:57:41 by Mark Davies | Files touched by this commit (20) | Package removed
Log message:
Remove tex-acromake{,-doc} tex-circle{,-doc} tex-misc209
Delete obsolete texlive packages that were only referenced from teTeX
   2015-11-04 02:03:03 by Alistair G. Crooks | Files touched by this commit (1194)
Log message:
Add SHA512 digests for distfiles for print category

Problems found locating distfiles:
	Package acroread7: missing distfile AdobeReader_enu-7.0.9-1.i386.tar.gz
	Package acroread8: missing distfile AdobeReader_enu-8.1.7-1.sparc.tar.gz
	Package cups-filters: missing distfile cups-filters-1.1.0.tar.xz
	Package dvidvi: missing distfile dvidvi-1.0.tar.gz
	Package lgrind: missing distfile lgrind.tar.bz2

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2010-04-21 07:37:58 by Min Sik Kim | Files touched by this commit (4) | Imported package
Log message:
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.