| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
with prior art (e.g. lang/twelf).
|
|
|
|
Coq is a Proof Assistant for a Logical Framework known as the
Calculus of Inductive Constructions. It allows the interactive
construction of formal proofs, and also the manipulation of
functional programs consistently with their specifications.
|
|
variables.
Fix PLIST.
Bump PKGREVISION.
|
|
v0.3
* Changed default spring length to 0 and default spring constant to 1
* Made dot file import more robust:
* Reports if it doesn't seem to be a dot file rather than blindly
trying to open it
* Accounts for more dot syntax
* doesn't segfault on any of the graphviz examples
* Made graphopt file opening more robust:
* Reports if it doesn't seem to be a graphopt file rather than
blindly trying to open it
v0.2
* Changed references to vector to std::vector, making compliant with
latest c++ standards (a la gcc 3)
|
|
Makefiles simply need to use this value often, for better or for
worse.
(2) Create a new variable FIX_RPATH that lists variables that should
be cleansed of -R or -rpath values if ${_USE_RPATH} is "no". By
default, FIX_RPATH contains LIBS, X11_LDFLAGS, and LDFLAGS, and
additional variables may be appended from package Makefiles.
|
|
proper PIC objects get pulled into the .so's
|
|
|
|
(like math/R) which try to link libblas into shared objects have proper PIC
objects to use.
|
|
|
|
This module allows you to get information from Excel file.
This module can handle files of Excel95, 97 and 2000. (and now
supports Excel4)
|
|
Changes between NTL 5.3 and 5.3.1
* Fixed a bug affecting the BuildIrred routines for ZZ_pEX and
zz_pEX.
Changes between NTL 5.2 and 5.3
* Minimized and isolated constructs that do not adhere to C/C++
standards, and added flags NTL_CLEAN_INT and NTL_CLEAN_PTR which
force stricter compliance with these standards.
* Added functions IsWhiteSpace, CharToIntVal, and IntValToChar to
the tools module.
* Added methods allocated, position1 to generic vector classes.
* Added method allocated to the class vec_GF2.
* Added conversion routines from unsigned int/long to int, long,
float, and double.
* Added routines AddPrec, SubPrec, etc., to the RR module, and
declared the practice of directly assigning to the variable
RR::prec obsolete.
* Fixed a number of minor bugs.
Changes between NTL 5.1a and 5.2
* Implemented Mark van Hoeij's new algorithm for factorining
polynomials with rational coefficients. This new algorithm is much
more efficient than the previous algorithm used by NTL, and is the
default (one can switch back to the old algorithm with a run-time
switch).
* Added routines LLL_plus that are just like the all-integer LLL
routines, except that they return the exact values of the squared
lengths of the Gramm-Schmidt basis vectors. This is useful in
implementing van Hoeij's algorithm.
* Made a small change to quad_float.c to make it compile under gcc
version 3.0 without errors. This is the one place in NTL where I
resort to just a little assmebly code (but only on x86/Linux
platforms), and wouldn't you know it, this is the one place where
gcc 3.0 had problems.
* Made a small change to the procedure for generating a
distribution, so that now all files in the "tar" file comprising
the distribution come without any annoyingly excessive access
control restrictions.
* Changed the version numbering scheme so that it is now closer to
"standard practice". This is version "5.2". Any small bug fixes to
this version will be named "5.2.1", "5.2.2", etc. Also, macros are
now defined so that the numerical components of the version number
are available to the programmer.
|
|
|
|
Closes PR 20521.
|
|
|
|
- make sure the path is correctly determined for pvm.
- add a --tag= argument to libtool when building fortran code.
This makes all selftests pass on my alpha.
|
|
Main Changes Scilab 2.6 -> 2.7
==============================
THANKS
======
Scilab group wants to thank the increasing number of people who have
contributed to this new version of Scilab, with special mention to
Anders Blomdell, Stephane Mottelet, Dan McMahill
Ton van Overbeek, Bruno Pincon and Enrico Segre.
NEW FUNCTIONALITIES
===================
Slicot based control routines (www.win.tue.nl/wgs/slicot.html)
have been introduced with a special attention
to identification functions, lyapunov, sylvester and riccati equation solvers.
Interface with TeXmacs (www.texmacs.org) a high level scientific text editor.
The editor allows you to write structured documents via a wysiwyg interface
including Scilab sessions and results.
An embedded text editor scipad derived from TkNotepad
(www.mindspring.com/~joeja/programs.html) as been developped.
C Code generation from Scicos discrete models
Blocks defining DAE are now usable in Scicos.
Statistic toolbox added (labostat).
A new graphics version based on objects and entities has been developped
(beta version). It allows to edit the properties of graphics
objects. By default, the old graphics version is used. Tu use the new graphics
version see the help of "graphics_entities".
OTHERS IMPROVEMENTS
===================
Linear algebra primitives now based on Lapack instead of Linpack/Eispack.
Basic functions revised (thanks to B Pincon).
stacksize use is no more restricted.
Hypertext, xml based, online help.
Binary Matlab file .mat loader (loadmatfile) added.
Possibility to customize graphics window event handlers (seteventhandler).
edit_graph, a graph editor for Metanet toolbox, written in Scilab, replaces
xmetanet. It works on both Unix and Windows.
INCOMPATIBLITIES
================
It is higly recommended to rebuild user's scilab functions libraries. This
can be done as follow:
predef(0);genlib('mylib','mylib_path',%t)
gschur and gspec functions are now obsolete and replaced by schur and spec.
Geci and the communication library have been removed. Use PVM interface instead.
Metanet graph editor has been rewritten. Use edit_graph instead.
man pages have to be written in HTML or better in XML but chapters
written in the old ascii files are still handled.
Scicos internal data structure have been changed. Automatic translation
is made when old diagrams are loaded.
|
|
need to use the automake-override target in bsd.pkg.mk; the hide-autotools
target in bsd.buildlink2.mk accomplishes the same thing.
|
|
rebuild the documentation database at install/deinstall time. This means
that:
- PLIST's do not need to call scrollkeeper-{update,rebuilddb} directly;
this is done by a bsd.pkg.install.mk template.
- The share/omf directory is only removed by scrollkeeper, which is the
last package in the dependancy tree.
- PKGREVISION is bumped.
Reviewed by wiz.
|
|
Changes since version 1.1.1 include:
* Addition of new functions
* Many bugfixes
* Homepage and distribution moved from sources.redhat.com to GNU.
See NEWS for more info.
|
|
|
|
have it be automatically included by bsd.pkg.mk if USE_PKGINSTALL is set
to "YES". This enforces the requirement that bsd.pkg.install.mk be
included at the end of a package Makefile. Idea suggested by Julio M.
Merino Vidal <jmmv at menta.net>.
|
|
Build process change, no revision bump.
|
|
|
|
header files there.
Bump revision to 2.
|
|
|
|
|
|
|
|
CHANGES IN R VERSION 1.6.2
BUG FIXES
o plot.stepfun() now obeys a `ylim=.' specification.
o removeClass() does a better job of removing inheritance
information.
o setIs() will not allow mismatched representations between two
classes (without an explicit coerce method).
o The code underlying polygon drawing contained a memory leak.
This showed up in persp, but did not affect other graphics
functions. It is now possible to draw big DEMs.
o logLik.nls() gave wrong df.
o rbind() with a mixture of data frames and matrices treated the
matrices as vectors.
o stripchart(method="stack") was not handling missing values.
o Arithmetic functions such as log() lost the object bit from
classed objects if coercion was needed.
o exp_rand would go into an infinite loop if unif_rand returned 0.
o formatC(x, format="fg") could return exponential format if
rounding pushed x over a positive power of 10.
o attr(x, foo) used partial matching for `foo' (even though not
documented to do so), and failed to find `foo' if there were
two or more partial matches before the exact match in the list
of attributes.
o Rdconv now creates direct HTML hyperlinks when linking to
documentation in the same package. The code now ensures that
links which can be resolved within the package are so resolved,
even when there are possible resolutions in other packages.
o If readBin(what=character()) is used incorrectly on a file which
does not contain C-style character strings, warnings (usually
many) are now given.
o Building libR.so with the zlib in the R sources was not
finding the local zlib headers.
o system(intern=TRUE) has an undocumented line length limit of
119 chars both on Unix and Windows. The limit is now 8096 and
documented. On Unix (only) every 120th character used to be
discarded.
o plot.POSIX[cl]t were not passing graphics parameters on to
axis.POSIXct.
o On some HP-UX systems, installed scripts were not executable
when using the BSD-compatible install system program found by
configure. We now always use install-sh on HP-UX.
o c() was converting NA names to "NA": now proper NA strings are
used wherever possible.
o A typo was causing segfaults when using data.entry under SuSE.
|
|
PKGREVISION++.
|
|
|
|
In contrast to Graphviz and other graph optimizers, graphopt does
not use a heuristic approach to layout optimization. Instead, it
uses basic principles of physics to iteratively determine optimal
layout. Each node is given mass and an electric charge, and each
edge is represented as a spring. Node mass, electric charge,
optimal spring length, and the spring constant are tweakable in
the gui in realtime.
For most graphs, this is all that is needed - hit 'go' and the
graph organizes itself much as the analagous real-life system would
if constrained to two dimensions. For more complex graphs, some
fiddling with the physical parameters at different stages of
optimization usually does the trick.
To accomodate very large graphs, an additional mechanism called
layering was added. When a graph is loaded, nodes are assigned to
layers based on their relative positions. During optimization,
you can choose to hide any number of layers. Any nodes assigned
to a layer lower than the selected layer are not only hidden, but
neither their electric charges nor the forces of the springs attached
to them are figured into the forces acting on the visible nodes.
In effect, those nodes cease to exist, and a smaller graph is
allowed to lay itself out without being constrained by an excessive
number of nodes.
|
|
PR 19876.
Update the distinfo (after verifying that nothing nasty has been introduced).
PKGREVISION++.
The author don't seem to keep a changelog (*sigh*) but the changes seems
to be some minor code clean up and bug fixes.
|
|
|
|
|
|
Bump PKGREVISION.
|
|
Changes: New repeat.cal, bug and portability fixes.
|
|
(which depends on gnumeric) only supports guile-1.4.
XXX: This is a quick fix to unbreak gnucash and the gnome meta-pkg, but
XXX: the guile packages need to be changed to co-exist to address this
XXX: properly!
Bump PKGREVISION.
|
|
second time.
|
|
* Guile support (NetBSD package)
* Bugfixes
* backport small text import cleanup.
* Remove the patch to the xml importer in 1.0.11 and solve the
problem using a blunt object.
* Support the global outline buttons
* Use the back port of the new xml parser in libxml1 (thanks DV)
* Fix GAMMAINV.
|
|
|
|
|
|
Packages using Guile now all depend on guile14. These packages are
expected to be made depend on newer Guile (1.6.x) when updated in the
future.
|
|
|
|
|
|
math/gp-grpconst.
GrpConst is a GAP 4 package for constructing all groups of a given
finite order (up to isomorphism).
|
|
|
|
|
|
|
|
News:
base2(), powerterm, lavarand -> LavaRnd, fproduct, and lots of bug fixes.
|
