| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
Notes:
svn path=/head/; revision=15760
|
|
|
|
|
|
|
| |
Submitted by: Kris Kennaway <kkennawa@physics.adelaide.edu.au>
Notes:
svn path=/head/; revision=15756
|
|
|
|
| |
Notes:
svn path=/head/; revision=15748
|
|
|
|
| |
Notes:
svn path=/head/; revision=15739
|
|
|
|
| |
Notes:
svn path=/head/; revision=15738
|
|
|
|
| |
Notes:
svn path=/head/; revision=15731
|
|
|
|
|
|
|
|
| |
have a thread safe poll in libc_r, so we need this if we are going
to dynamically link with threaded applications.
Notes:
svn path=/head/; revision=15729
|
|
|
|
| |
Notes:
svn path=/head/; revision=15717
|
|
|
|
| |
Notes:
svn path=/head/; revision=15716
|
|
|
|
| |
Notes:
svn path=/head/; revision=15701
|
|
|
|
| |
Notes:
svn path=/head/; revision=15688
|
|
|
|
| |
Notes:
svn path=/head/; revision=15633
|
|
|
|
| |
Notes:
svn path=/head/; revision=15632
|
|
|
|
| |
Notes:
svn path=/head/; revision=15620
|
|
|
|
| |
Notes:
svn path=/head/; revision=15619
|
|
|
|
|
|
|
|
|
|
| |
A javadoc style documentation system.
PR: 9157
Submitted by: Ruslan Shevchenko <Ruslan@Shevchenko.Kiev.UA>
Notes:
svn path=/head/; revision=15618
|
|
|
|
| |
Notes:
svn path=/head/; revision=15617
|
|
|
|
|
|
|
|
|
|
| |
Qt Architect (formerly known as the Qt Dialog Editor or dlgedit).
PR: 8432
Submitted by: Frank Gruender <elwood@mc5sys.in-berlin.de>
Notes:
svn path=/head/; revision=15616
|
|
|
|
|
|
|
| |
Submitted by: maintainer
Notes:
svn path=/head/; revision=15609
|
|
|
|
|
|
|
| |
Noticed By: One of Satoshi's scripts
Notes:
svn path=/head/; revision=15544
|
|
|
|
| |
Notes:
svn path=/head/; revision=15510
|
|
|
|
| |
Notes:
svn path=/head/; revision=15506
|
|
|
|
|
|
|
|
| |
PR: 8932
Submitted by: maintainer
Notes:
svn path=/head/; revision=15499
|
|
|
|
| |
Notes:
svn path=/head/; revision=15483
|
|
|
|
|
|
|
| |
anymore.
Notes:
svn path=/head/; revision=15476
|
|
|
|
| |
Notes:
svn path=/head/; revision=15475
|
|
|
|
| |
Notes:
svn path=/head/; revision=15448
|
|
|
|
|
|
|
|
|
|
|
| |
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
Notes:
svn path=/head/; revision=15447
|
|
|
|
|
|
|
| |
Reviewed by: msmith
Notes:
svn path=/head/; revision=15424
|
|
|
|
| |
Notes:
svn path=/head/; revision=15408
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
Notes:
svn path=/head/; revision=15407
|
|
|
|
|
|
|
|
| |
PR: ports/9093
Submitted by: andy@icc.surw.chel.su
Notes:
svn path=/head/; revision=15370
|
|
|
|
| |
Notes:
svn path=/head/; revision=15365
|
|
|
|
|
|
|
|
|
|
| |
A Perl-based Make replacement.
PR: 9076
Submitted by: Rajesh Vaidheeswar <rv@fore.com>
Notes:
svn path=/head/; revision=15364
|
|
|
|
|
|
|
|
| |
PR: ports/9070
Submitted by: Shigeyuki FUKUSHIMA <shige@kuis.kyoto-u.ac.jp>
Notes:
svn path=/head/; revision=15349
|
|
|
|
|
|
|
| |
explicitly.
Notes:
svn path=/head/; revision=15320
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
Notes:
svn path=/head/; revision=15311
|
|
|
|
| |
Notes:
svn path=/head/; revision=15303
|
|
|
|
|
|
|
| |
PR: 7463
Notes:
svn path=/head/; revision=15297
|
|
|
|
| |
Notes:
svn path=/head/; revision=15296
|
|
|
|
|
|
|
| |
PR: 9048
Notes:
svn path=/head/; revision=15283
|
|
|
|
| |
Notes:
svn path=/head/; revision=15269
|
|
|
|
| |
Notes:
svn path=/head/; revision=15247
|
|
|
|
|
|
|
| |
Remind by: "Gregory D. Moncreaff" <moncrg@bt340707.res.ray.com>
Notes:
svn path=/head/; revision=15225
|
|
|
|
| |
Notes:
svn path=/head/; revision=15216
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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>
Notes:
svn path=/head/; revision=15215
|
|
|
|
| |
Notes:
svn path=/head/; revision=15170
|
|
|
|
|
|
|
|
| |
Caught by: A little perl script for INDEX generation that Satoshi
and I are working on. :)
Notes:
svn path=/head/; revision=15164
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.)
Notes:
svn path=/head/; revision=15163
|
|
|
|
| |
Notes:
svn path=/head/; revision=15154
|