.. |
abs
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
add
|
- Update to version 20021229
|
2004-03-07 16:42:31 +00:00 |
algae
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
apc
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
arpack
|
- tar -> ${TAR} (since we have now a bsdtar ;)
|
2004-04-07 13:26:20 +00:00 |
arpack++
|
|
|
asir2000
|
Sync with new bsd.autotools.mk
|
2004-06-04 17:29:38 +00:00 |
atlas
|
Avoid the use of != statements in ports Makefile
|
2004-10-24 03:37:02 +00:00 |
atlas-devel
|
Avoid the use of != statements in ports Makefile
|
2004-10-24 03:37:02 +00:00 |
bamg
|
|
|
biggles
|
|
|
bihar
|
|
|
blacs
|
Forgot to add pkg-message.in
|
2004-10-19 02:16:37 +00:00 |
blas
|
|
|
blitz++
|
Don't create bogus doc directory
|
2004-05-31 09:02:54 +00:00 |
calc
|
Add size data.
|
2004-03-18 02:27:55 +00:00 |
calcoo
|
Add size data, approved by maintainers.
|
2004-03-18 20:59:15 +00:00 |
calctool
|
|
|
ccmath
|
|
|
clarence
|
update to 0.4.4
|
2004-08-15 08:16:43 +00:00 |
cln
|
Increase USE_GCC to 3.4 for those ports which compile with it.
|
2004-09-30 05:32:00 +00:00 |
concorde
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
convertall
|
Add convertall, a unit converter that can combine the units any way you want.
|
2004-08-29 17:35:23 +00:00 |
coq
|
Add coq, a formal proof management system: a proof done with Coq is
|
2004-10-16 00:55:32 +00:00 |
cxsc
|
BROKEN on 5.x: Does not compile with gcc 3.4.2
|
2004-08-16 02:33:05 +00:00 |
dcdflib
|
|
|
diehard
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
dislin
|
|
|
djbfft
|
Fix typo: LOCALBASE -> PREFIX; when installing
|
2004-04-14 22:39:23 +00:00 |
drgeo
|
Update to version 0.9.14
|
2004-09-03 08:21:26 +00:00 |
eispack
|
SIZEify.
|
2004-03-17 18:29:46 +00:00 |
emc2
|
|
|
entropy
|
Update to 2.0.
|
2004-08-06 18:21:40 +00:00 |
eukleides
|
- Update to version 1.0.0
|
2004-05-17 18:40:46 +00:00 |
eval
|
lha is an EXTRACT_DEPENDS, not BUILD_DEPENDS
|
2004-04-05 22:15:37 +00:00 |
fbm
|
Add missing file
|
2004-04-13 12:31:21 +00:00 |
femlab
|
|
|
fftpack
|
|
|
fftw
|
Apply a big libtool patch to allow porters to use the libtool installed by
|
2004-07-09 17:43:11 +00:00 |
fftw3
|
Increase USE_GCC to 3.4 for those ports which compile with it.
|
2004-09-30 05:32:00 +00:00 |
freefem
|
|
|
freefem++
|
- Upgrade to 1.42;
|
2004-10-11 22:30:39 +00:00 |
fudgit
|
Trim whitespace.
|
2004-04-10 16:07:10 +00:00 |
fung-calc
|
- Fix build with gcc 3.4 [1]
|
2004-08-13 23:38:44 +00:00 |
fxt
|
Update to version 2004.10.04
|
2004-10-12 12:59:39 +00:00 |
galculator
|
Update to 1.2.4. This is a bugfix/minor feature enhancement release:
|
2004-10-23 13:51:22 +00:00 |
gambit
|
BROKEN on 5.x: Does not compile
|
2004-09-18 17:49:31 +00:00 |
gap
|
|
|
gcalctool
|
Use the new GConf handling policy, this will be required for GNOME 2.7/2.8 or
|
2004-07-07 16:23:51 +00:00 |
gdcalc
|
Add size data, approved by maintainers.
|
2004-03-18 18:01:13 +00:00 |
geg
|
Sync with new bsd.autotools.mk
|
2004-06-04 17:29:38 +00:00 |
gexpr
|
SIZEify
|
2004-03-18 06:25:52 +00:00 |
GiNaC
|
Increase USE_GCC to 3.4 for those ports which compile with it.
|
2004-09-30 05:32:00 +00:00 |
glgraph
|
|
|
glove
|
|
|
glpk
|
Update to version 4.4.
|
2004-05-31 07:28:33 +00:00 |
gmp
|
Remove CONFLICTS, it's not necessary anymore.
|
2004-07-10 11:12:28 +00:00 |
gnumeric
|
Unbreak with GCC 3.4.2.
|
2004-09-20 20:38:31 +00:00 |
gnumeric2
|
Use the correct version of libtool 13 -> 15 to avoid install the *.la files.
|
2004-07-27 19:01:43 +00:00 |
gnuplot
|
. Bump PORTREVISION (forgotten in previous commit).
|
2004-07-13 16:31:01 +00:00 |
gnuplot+
|
Fix patch-file.
|
2004-07-17 01:57:52 +00:00 |
goblin
|
BROKEN on 5.x: Does not compile
|
2004-09-18 17:49:31 +00:00 |
grace
|
Fix package build.
|
2004-10-16 15:43:28 +00:00 |
gracetmpl
|
Unbreak with gcc 3.4.2
|
2004-08-16 16:36:20 +00:00 |
graphthing
|
BROKEN on 5.x: Configure fails
|
2004-09-26 01:42:16 +00:00 |
gretl
|
Update to version 1.2.9
|
2004-07-30 21:16:03 +00:00 |
gri
|
|
|
grpn
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
gsl
|
Apply a big libtool patch to allow porters to use the libtool installed by
|
2004-07-09 17:43:11 +00:00 |
guppi
|
Fix the build with GCC 3.4.2.
|
2004-09-06 19:08:13 +00:00 |
hexcalc
|
|
|
it++
|
BROKEN on 5.x: Does not compile
|
2004-09-18 17:49:31 +00:00 |
itl
|
- Fix optional dependency on unexistant port
|
2004-07-01 23:41:10 +00:00 |
jacal
|
Add size info.
|
2004-03-18 07:57:28 +00:00 |
jags
|
Fix build with gcc 3.4
|
2004-09-02 16:18:13 +00:00 |
jama
|
unzip is a BUILD_DEPENDS since it is used in the install phase.
|
2004-05-03 00:21:00 +00:00 |
javanns
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
kaskade
|
BROKEN on 5.x: Does not compile
|
2004-09-18 18:47:46 +00:00 |
kcalc
|
Update to KDE 3.3
|
2004-08-30 19:55:42 +00:00 |
koctave
|
Apply a big libtool patch to allow porters to use the libtool installed by
|
2004-07-09 17:43:11 +00:00 |
kseg
|
Update to 0.401
|
2004-10-14 08:19:40 +00:00 |
lambda
|
add perl5 build depend
|
2004-05-17 01:49:02 +00:00 |
lapack
|
Add size data.
|
2004-03-18 02:27:55 +00:00 |
lapack95
|
Add New port lapack95
|
2004-08-29 07:49:57 +00:00 |
lapack++
|
In former commit I commented out all the blas options.
|
2004-07-14 04:57:39 +00:00 |
libgmp4
|
Remove CONFLICTS, it's not necessary anymore.
|
2004-07-10 11:12:28 +00:00 |
libmath++
|
Add patches to quiet new warnings and errors from gcc 3.4.2. The patches
|
2004-08-13 17:39:32 +00:00 |
libneural
|
Apply a big libtool patch to allow porters to use the libtool installed by
|
2004-07-09 17:43:11 +00:00 |
librandlib
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
libranlib
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
libRmath
|
- Update to 1.9.1
|
2004-06-25 22:02:52 +00:00 |
linalg
|
Play nice with new GCC, and unbreak the build.
|
2004-10-08 05:32:57 +00:00 |
linpack
|
SIZEify.
|
2004-03-17 18:29:46 +00:00 |
linux-dislin
|
|
|
linux-relview
|
* Add SIZE. [1]
|
2004-03-27 07:48:38 +00:00 |
lp_solve
|
er distfile survey, remove obsolete mastersite. It points to the URL
|
2004-04-13 04:03:46 +00:00 |
matrix
|
BROKEN on amd64: Shared libraries must be compiled with -fPIC
|
2004-06-19 09:26:43 +00:00 |
maxima
|
This port compiles correctly with GCL.
|
2004-09-28 13:50:31 +00:00 |
mbasecalc
|
Add mbasecalc, a Programmer's Calculator.
|
2004-06-16 21:27:26 +00:00 |
metis
|
|
|
metis4
|
|
|
metis-edf
|
|
|
mpexpr
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
mprime
|
Add net as secondary category since this is a distributed effort
|
2004-03-04 02:44:49 +00:00 |
mtl
|
Whoa there, boy, that's a mighty big commit y'all have there...
|
2004-03-14 06:17:56 +00:00 |
mtrxmath
|
- Update to version 1.0.2
|
2004-03-07 16:41:00 +00:00 |
mupad
|
1) Remove Xpm, and also remove dependencies
|
2004-10-24 04:40:09 +00:00 |
naturalmath
|
Add size data.
|
2004-03-18 02:52:47 +00:00 |
nauty
|
- Honour CC/CFLAGS
|
2004-04-01 09:52:13 +00:00 |
ndiff
|
Deal with the libgmp dependency properly:
|
2004-06-02 17:18:39 +00:00 |
netcdf
|
- Add CONFLICTS between math/netcdf and science/hdf, they both install
|
2004-03-24 18:55:25 +00:00 |
newmat
|
BROKEN on 5.x: Does not compile with gcc 3.4.2
|
2004-08-16 02:47:09 +00:00 |
ngraph
|
Unbreak on -CURRENT(round() -> iround())
|
2004-08-15 03:02:32 +00:00 |
nsc2ke
|
|
|
ntl
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
ocaml-ocamlgraph
|
Upgrade to v0.81. Unbreak on -CURRENT.
|
2004-08-14 14:55:27 +00:00 |
octave
|
BROKEN on amd64: Shared libraries must be compiled with -fPIC
|
2004-06-19 09:26:43 +00:00 |
octave-devel
|
BROKEN on amd64: Shared libraries must be compiled with -fPIC
|
2004-06-19 09:26:43 +00:00 |
octave-forge
|
Fix build 5-STABLE
|
2004-09-02 01:14:04 +00:00 |
oleo
|
- Convert to OPTIONS
|
2004-08-20 23:12:23 +00:00 |
orpie
|
Add orpie 1.3.1, a fullscreen RPN calculator for the console.
|
2004-08-09 21:09:53 +00:00 |
p5-AI-DecisionTree
|
My territory, suggested by ijliao. :p
|
2004-08-20 02:56:44 +00:00 |
p5-AI-NeuralNet-BackProp
|
|
|
p5-AI-NeuralNet-Mesh
|
|
|
p5-AI-Perceptron
|
|
|
p5-Bit-ShiftReg
|
|
|
p5-Bit-Vector
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Bit-Vector-Minimal
|
Update to 1.1
|
2004-10-12 14:38:12 +00:00 |
p5-Chart-Math-Axis
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Date-Handler
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Geo-Distance
|
- Unbreak package building.
|
2004-07-12 13:38:55 +00:00 |
p5-Graph
|
Update to 0.20105
|
2004-07-02 07:37:28 +00:00 |
p5-Math-Base85
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Math-BaseCalc
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Math-Bezier
|
|
|
p5-Math-BigInt
|
Update to 1.72.
|
2004-10-13 11:02:39 +00:00 |
p5-Math-BigIntFast
|
|
|
p5-Math-Calc-Units
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Math-Currency
|
|
|
p5-Math-Expr
|
Drop maintainership
|
2004-06-24 14:28:12 +00:00 |
p5-Math-FFT
|
Drop maintainership
|
2004-06-24 14:28:12 +00:00 |
p5-Math-FixedPrecision
|
|
|
p5-Math-GMP
|
|
|
p5-Math-GSL
|
Chase libgsl-update
|
2004-07-07 08:22:50 +00:00 |
p5-Math-Interpolate
|
Drop maintainership
|
2004-06-24 14:28:12 +00:00 |
p5-Math-LinearCombination
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Math-Logic
|
Drop maintainership
|
2004-06-24 14:28:12 +00:00 |
p5-Math-Pari
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Math-Random
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Math-Random-MT
|
Updated to 1.04
|
2004-10-12 12:21:58 +00:00 |
p5-Math-Round
|
Add missing dirrm's
|
2004-04-14 19:28:45 +00:00 |
p5-Math-SimpleVariable
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Math-TrulyRandom
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-MatrixReal
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-NetCDF
|
|
|
p5-Number-Compare
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Roman
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Set-IntSpan
|
Add size data.
|
2004-03-18 02:27:55 +00:00 |
p5-Set-Window
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Statistics-ChiSquare
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Statistics-Contingency
|
My territory, suggested by ijliao. :p
|
2004-08-20 02:56:44 +00:00 |
p5-Statistics-Descriptive
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Statistics-Distributions
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Statistics-LTU
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Statistics-OLS
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
p5-Statistics-Table-F
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
pari
|
Hack to make pari compile again on 5.3 prior to release
|
2004-10-04 23:27:44 +00:00 |
pari-devel
|
Unbreak by using gcc-3.3.
|
2004-10-16 08:34:57 +00:00 |
parmetis
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
PDL
|
Chase plplot shared library version.
|
2004-08-31 04:39:56 +00:00 |
php4-bcmath
|
Add a new shared extension for PHP.
|
2004-07-19 08:17:01 +00:00 |
php4-gmp
|
Add a new shared extension for PHP.
|
2004-07-19 08:17:01 +00:00 |
php5-bcmath
|
Add a new shared extension for PHP.
|
2004-07-19 09:14:47 +00:00 |
php5-gmp
|
Add a new shared extension for PHP.
|
2004-07-19 09:14:47 +00:00 |
physcalc
|
|
|
ploticus
|
Update to 2.30.
|
2004-10-12 07:35:57 +00:00 |
ploticus-nox11
|
|
|
plplot
|
Update to 5.3.1
|
2004-08-11 11:07:14 +00:00 |
pspp
|
|
|
py-fpconst
|
- Update MASTER_SITES
|
2004-05-18 09:23:05 +00:00 |
py-gato
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
py-gnuplot
|
|
|
py-gsl
|
Chase libgsl-update
|
2004-07-07 08:22:50 +00:00 |
py-matplotlib
|
re-add py-matplotlib 0.60.2
|
2004-08-04 03:33:57 +00:00 |
py-mpz
|
|
|
py-numarray
|
Update to 0.9.
|
2004-03-13 05:19:53 +00:00 |
py-numeric
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
py-numeric17
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
py-probstat
|
|
|
py-scientific
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
qalculate
|
- Bump USE_GCC to 3.4 to match cln and unbreak
|
2004-10-12 19:57:06 +00:00 |
qgfe
|
add qgfe 1.0
|
2004-08-30 09:56:44 +00:00 |
qhull
|
Apply a big libtool patch to allow porters to use the libtool installed by
|
2004-07-09 17:43:11 +00:00 |
qhull5
|
Apply a big libtool patch to allow porters to use the libtool installed by
|
2004-07-09 17:43:11 +00:00 |
qscanplot
|
Tidy up whitespace.
|
2004-04-10 17:26:55 +00:00 |
qwtplot3d
|
typo
|
2004-08-30 09:48:31 +00:00 |
qwtplot3d-qt4
|
typo
|
2004-08-30 09:48:31 +00:00 |
R
|
- Update to 2.0.0
|
2004-10-12 21:02:12 +00:00 |
randlib
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
rascal
|
Fix build with gcc 3.4
|
2004-08-16 17:33:26 +00:00 |
rpc
|
|
|
rpy
|
- Update to 0.3.5
|
2004-10-15 20:57:23 +00:00 |
rpy2
|
- Update to 0.3.5
|
2004-10-15 20:57:23 +00:00 |
ruby-algebra
|
Add SIZE data.
|
2004-03-22 15:05:32 +00:00 |
ruby-bitset
|
Update to 0.6.2.
|
2004-04-18 17:18:15 +00:00 |
ruby-bitvector
|
Add SIZE data.
|
2004-03-22 15:05:32 +00:00 |
ruby-fftw3
|
Add ruby-fftw3, Ruby bindins for fftw3 library.
|
2004-06-26 23:07:23 +00:00 |
ruby-gmp
|
BROKEN on amd64: Needs to link against shared library
|
2004-05-30 07:08:25 +00:00 |
ruby-gnuplot
|
Add SIZE data.
|
2004-03-22 15:05:32 +00:00 |
ruby-gsl
|
Update to 1.5.0.
|
2004-08-12 09:21:34 +00:00 |
ruby-math3d
|
Set an expiry date of 2004-08-20 for these BROKEN/IGNORE/FORBIDDEN
|
2004-06-21 21:27:46 +00:00 |
ruby-narray
|
Update to 0.5.7p2.
|
2004-03-15 09:43:34 +00:00 |
ruby-narray_miss
|
Update to 1.0.3
|
2004-04-20 09:23:03 +00:00 |
ruby-netcdf
|
Update to 0.5.5.
|
2004-09-03 19:37:55 +00:00 |
ruby-numru_misc
|
Update to 0.0.5
|
2004-09-02 09:45:01 +00:00 |
ruby-numru_units
|
Update to 1.2
|
2004-04-20 09:37:56 +00:00 |
sc
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
scalapack
|
1) fix build after changes to make(1) on FreeBSD >= 5.x.
|
2004-10-19 02:26:05 +00:00 |
scigraphica
|
BROKEN on 5.x: Does not compile
|
2004-09-26 03:11:57 +00:00 |
scilab
|
Update to 3.0
|
2004-08-11 08:09:50 +00:00 |
sdpa
|
Now confirmed that both static and dynamic ATLAS lib
|
2004-08-19 01:24:01 +00:00 |
sdpara
|
MASTER_SITE have been moved.
|
2004-08-16 01:24:11 +00:00 |
slsc
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
snns
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
solitaire
|
Add size data.
|
2004-03-18 02:27:55 +00:00 |
spar
|
Apply a big libtool patch to allow porters to use the libtool installed by
|
2004-07-09 17:43:11 +00:00 |
spooles
|
1) Adding missing symbols in the library
|
2004-10-19 02:08:48 +00:00 |
spooles-mpich
|
USE_MPI->WITH_MPI and other fix
|
2004-10-19 02:10:31 +00:00 |
ss
|
- Fix MASTER_SITES
|
2004-03-01 11:37:13 +00:00 |
superlu
|
make replaced the defined command by our ${ARCH}.
|
2004-09-27 07:31:01 +00:00 |
superlu_mt
|
make replaced the defined command by our ${ARCH}.
|
2004-09-27 07:31:01 +00:00 |
surf
|
|
|
taucs
|
Unbreak on -STABLE.
|
2004-05-04 13:56:39 +00:00 |
thx_1138
|
|
|
topaz
|
|
|
tvmet
|
|
|
umatrix
|
|
|
umfpack
|
Upgrade to 4.3.
|
2004-10-12 05:31:15 +00:00 |
units
|
Move pkg's files to Makefile, remove pkg-plist.
|
2004-07-21 14:52:54 +00:00 |
unixstat
|
- Fix typos (omitted $'s)
|
2004-10-12 08:14:08 +00:00 |
vecfem
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
vtk
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
vtk5
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
vtk43
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
vtk43-headers
|
|
|
vtk-data
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
vtk-examples
|
|
|
vtk-headers
|
|
|
vtk-java
|
|
|
vtk-python
|
|
|
vtk-tcl
|
|
|
wingz
|
|
|
wingz3
|
|
|
wmcalc
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
xgfe
|
Unfortunately, the recent changes to math/xgfe (PR 59024) broke its
|
2004-03-30 17:02:58 +00:00 |
xgobi
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
xgraph
|
SIZEify (maintainer timeout)
|
2004-03-31 03:12:58 +00:00 |
xldlas
|
|
|
xlispstat
|
- Update to version 3.5.20
|
2004-03-07 16:39:57 +00:00 |
xplot
|
Add missing files and manpages
|
2004-04-16 02:16:28 +00:00 |
xspread
|
Per distfile survey, remove Debian as a mastersite. I cannot find any
|
2004-04-13 04:29:06 +00:00 |
xwpl
|
|
|
yacas
|
- Fix compilation with GCC 3.4.2.
|
2004-08-11 20:47:39 +00:00 |
Makefile
|
Add coq, a formal proof management system: a proof done with Coq is
|
2004-10-16 00:55:32 +00:00 |