7 Commits

Include renames

Author	SHA1	Message	Date
Eelco Dolstra	155c91b335	* Upgrade information.	2005-03-14 18:56:02 +00:00
Eelco Dolstra	012b812698	* Preliminary NEWS for 0.8.	2005-03-11 18:35:58 +00:00
Eelco Dolstra	7d75616f2c	* NEWS and manual update for release 0.7.	2005-01-12 10:27:46 +00:00
Eelco Dolstra	c52dda95a6	* Bug: check that term is an application.	2004-10-26 23:30:18 +00:00
Eelco Dolstra	9fa07b376d	* String/path concatenation operator (`+').	2004-10-26 17:01:35 +00:00
Eelco Dolstra	50b9caac14	* Updated NEWS for the upcoming 0.6 release.	2004-10-21 09:22:16 +00:00
Eelco Dolstra	136c00e881	* Autoconf / Automake configuration and building.	2003-04-04 16:14:56 +00:00