This program gives information about files checked out with RCS.
Only RCS repositories located in "RCS" subdirectories are analyzed.
PR: ports/6113
Submitted by: markc@interlock.otcwi.com
STLport is an an adaptation of SGI's Standard Template Library.
The goal of the STLport effort is to make SGI's STL
implementation usable with most compilers while retaining full
functionality.
The Standard Template Library is a C++ library of container
classes, algorithms, and iterators providing many of the basic
algorithms and data structures of computer science.
PR: ports/8939
Submitted by: josh@quick.net
Spin is an efficient on-the-fly verification system
(a `model checker') for asynchronous concurrent systems,
such as data communication protocols, distributed operating
systems, database systems, etc.
It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear
time temporal logic.
PR: ports/9058
Submitted by: pangolin@home.com
libPropList for property settings. Window Maker also uses libPropList,
as does wdm. However, there seem to be some differences between the two and
nevertheless, it would not be good to have future gnome ports depend on
Window Maker. I made this port from the libPropList found on the gnome ftp
sites; the distribution file is called libPropList-0.7.1gnome, but it builds
the library by default as libPropList. This conflicts with the libPropList
installed by Window Maker, so I made this port build the library as
libPropListgnome. So any future gnome ports that need libPropList should link
against libPropListgnome instead.
PR: ports/9006
Submitted by: Glenn Johnson <gljohns@bellsouth.net>
dispite their meanings. (Sometimes we're too smart for computers. :)
Found by: sorting ports/INDEX by "sort -t '|' +1 -2"
(Note: the whole "x11" category appears at the end with the above sort
command, but I'll leave that the way it is for now -- "ls" shows it
before other x11-* entries.)
Disable native shared library support, doesn't work, use own scheme as before.
Don't use shared library version numbering on ELF for now, needs more thought.
Document shared library version numbering scheme I chose.
Pump shared library version number on aout.
Better COMMENT and DESCR (still too long).
Remove patch to regognize now outdated FreeBSD JDK.
