2003-12-14 13:56  narwhal

	* Makefile, configure.ac, lambda, lambda.cc, makefile,
	  makefile.root, makerules.sh, node.cc, parse.cc, token_stream.cc,
	  docs/lambda.html: Added readline capability. Based on patch
	  summit by Frederik Hermans <hermans@math.fu-berlin.de>.

2003-12-01 20:01  narwhal

	* .Makefile, .cvsignore, .makefile, .makefile.root, .makerules.sh,
	  COPYING, INSTALL, Makefile, Makefile.am, bootstrap, configure.ac,
	  do_configure, fdl.txt, gpl.txt, lambda, lambda.cc, node.cc,
	  node.h, parse.cc, parse.h, token_stream.cc, token_stream.h,
	  docs/.cvsignore, docs/Makefile.am, docs/lambda.html,
	  docs/lambdamanual.html, docs/lambdamanual_src.html,
	  docs/trans_xml_for_cat.pl, docs/user_manual_style.css: Establish
	  baseline01

2002-12-02 18:15  narwhal

	* .cvsignore, Makefile, lambda, token_stream.cc,
	  docs/lambdamanual.html: added Makefile and .cvsignore repair
	  bracket warning in toke_stream.cc

2001-07-18 10:32  narwhal

	* lambda, node.cc: debug

2001-07-15 18:35  narwhal

	* lambda, makefile, node.cc: Changed make to compile for debug
	  (-g).  In lam_node::reduce_eta, when body_v is an app_node,
	  changed this->body_v = 0 to set_body(0,true) to avoid what
	  appears to bea memory leak.  Added: when printing app_node, with
	  print "()" for NULL left_v or right_v.

2001-07-15 14:49  narwhal

	* definitions, definitions_with_numbers, lambda, lambda.cc,
	  makefile, makefile.root, makerules.sh, node.cc, node.h, parse.cc,
	  parse.h, texput.log, token_stream.cc, token_stream.h,
	  docs/definitions, docs/equalities.txt, docs/lambdaabstract.doc,
	  docs/lambdaexamples.doc, docs/lambdamanual.doc,
	  docs/lambdamanual.html: Initial revision

2001-07-15 14:49  narwhal

	* definitions, definitions_with_numbers, lambda, lambda.cc,
	  makefile, makefile.root, makerules.sh, node.cc, node.h, parse.cc,
	  parse.h, texput.log, token_stream.cc, token_stream.h,
	  docs/definitions, docs/equalities.txt, docs/lambdaabstract.doc,
	  docs/lambdaexamples.doc, docs/lambdamanual.doc,
	  docs/lambdamanual.html: lambda source

