Go to file
Eelco Dolstra e30789d084 2006-10-11 11:02:41 +00:00
blacklisting * This is a better location to keep the blacklist, since it can evolve 2005-03-24 14:07:02 +00:00
corepkgs * Use "propagated-user-env-packages", not "propagated-build-inputs" 2006-09-25 15:11:59 +00:00
doc * Release notes. 2006-10-11 10:56:35 +00:00
externals * Supply the 64-bit ATerm patch, but don't apply it (since that 2006-09-22 12:07:41 +00:00
make * `dependencyClosure' now allows a search path, e.g., 2005-08-14 14:00:39 +00:00
misc * Finally, a real "let" syntax: `let x = ...; ... z = ...; in ...'. 2006-10-02 15:52:44 +00:00
scripts * tmpnam() -> File::Temp::tempdir(). 2006-10-04 18:58:11 +00:00
src * Merge r6688 from the trunk. 2006-10-11 10:46:12 +00:00
tests * toFile: added an additional argument to specify the store path 2006-10-03 14:55:54 +00:00
AUTHORS * Put something in here. 2004-11-07 20:30:02 +00:00
COPYING * Change this to LGPL to keep the government happy. 2006-04-25 16:41:06 +00:00
ChangeLog * Autoconf / Automake configuration and building. 2003-04-04 16:14:56 +00:00
INSTALL * Autoconf / Automake configuration and building. 2003-04-04 16:14:56 +00:00
Makefile.am * Support for srcdir != builddir (NIX-41). 2006-05-12 11:47:45 +00:00
README * Add SHA-256. 2005-01-14 12:03:04 +00:00
aterm-gc.supp * New suppressions. 2006-03-01 15:40:01 +00:00
bootstrap.sh * Build dynamic libraries. 2005-07-22 14:52:45 +00:00
configure.ac 2006-10-11 11:02:41 +00:00
nix.conf.example * New configuration setting `build-max-jobs' which sets the default 2006-08-10 20:19:13 +00:00
nix.spec.in * Package the include directory. 2006-09-05 11:34:50 +00:00
substitute.mk * Purify `make check'. 2006-07-21 13:21:43 +00:00

README

For installation and usage instructions, please read the manual, which
can be found in `docs/manual/manual.html', and additionally at the Nix
website at <http://www.cs.uu.nl/groups/ST/Trace/Nix>.


Acknowledgments

This product includes software developed by the OpenSSL Project for
use in the OpenSSL Toolkit (http://www.OpenSSL.org/)