tvl-depot

No description

Find a file

Eelco Dolstra d47e03fccd * Install the XSL stylesheets for log to html conversion.		2005-10-05 09:37:58 +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	* Adhockery.	2005-07-22 20:37:39 +00:00
doc	* Use "source" instead of ".".	2005-09-28 09:00:07 +00:00
externals	* Use a statically linked ATerm library and build it at -O1, since	2005-09-18 20:27:02 +00:00
make	* `dependencyClosure' now allows a search path, e.g.,	2005-08-14 14:00:39 +00:00
misc	* A flag `--keep-going / -k' to keep building goals if one fails, as	2004-06-25 15:36:09 +00:00
scripts	* Remove other uses of IPC::Open2.	2005-09-21 17:14:52 +00:00
src	* Install the XSL stylesheets for log to html conversion.	2005-10-05 09:37:58 +00:00
tests	* Remove debugging code.	2005-09-13 15:54:36 +00:00
AUTHORS	* Put something in here.	2004-11-07 20:30:02 +00:00
bootstrap.sh	* Build dynamic libraries.	2005-07-22 14:52:45 +00:00
ChangeLog	* Autoconf / Automake configuration and building.	2003-04-04 16:14:56 +00:00
configure.ac	* Use -all_load on Mac OS X.	2005-09-21 11:12:43 +00:00
COPYING	* 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	* Check for w3m.	2005-09-15 15:21:57 +00:00
nix.conf.example	* Parse multi-valued options.	2005-09-22 15:43:22 +00:00
nix.spec.in	* Add $prefix/lib to the RPM.	2005-07-25 10:10:24 +00:00
README	* Add SHA-256.	2005-01-14 12:03:04 +00:00
substitute.mk	* Purify all corepkgs builders.	2005-03-15 12:03:15 +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/)