tvl-depot

No description

Find a file

Eelco Dolstra 09e7f06818 * Put something in here.		2004-11-07 20:30:02 +00:00
corepkgs	* New language feature: with expressions.	2004-10-25 16:54:56 +00:00
doc	* Operators, comments.	2004-11-07 18:58:49 +00:00
externals	* Don't propagate our CFLAGS to the ATerm library since it breaks at	2004-11-03 16:51:09 +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	* Better error messages.	2004-11-04 20:20:39 +00:00
src	* string2ATerm -> overloaded toATerm.	2004-11-03 18:12:03 +00:00
tests	* Use `atdiff' instead of` cmp' for checking test output.	2004-10-27 13:12:58 +00:00
AUTHORS	* Put something in here.	2004-11-07 20:30:02 +00:00
bootstrap.sh	* A script to generate the Auto* stuff.	2004-07-30 13:45:13 +00:00
ChangeLog	* Autoconf / Automake configuration and building.	2003-04-04 16:14:56 +00:00
configure.ac	* Use `atdiff' instead of` cmp' for checking test output.	2004-10-27 13:12:58 +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	* Revert r1594 - it didn't solve the problem. Instead add	2004-10-25 13:51:34 +00:00
NEWS	* Bug: check that term is an application.	2004-10-26 23:30:18 +00:00
nix.spec.in	* Hack for perl(readmanifest) dependency.	2004-09-08 12:07:19 +00:00
README	* Fixed URL.	2004-04-26 09:54:37 +00:00
substitute.mk	* A test to verify that Nix executes build jobs in parallel, if	2004-05-04 17:04:17 +00:00

README

                             *** Nix ***

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>.