2003-08-19 22:10 narwhal * docs/lambdamanual_src.html: spelling 2003-08-19 21:48 narwhal * docs/lambda.html: Updated news and download in lambda web page. 2003-08-19 21:38 narwhal * lambda, node.cc, node.h, parse.cc, docs/lambdamanual_src.html: Added flag xapp to command "ext" to make it more consistent in the way it extracts from a constant expression. 2003-08-19 19:14 narwhal * docs/lambdamanual_src.html: Spacing and spans. 2003-08-19 18:45 narwhal * Makefile.am, configure.ac, docs/.cvsignore, docs/Makefile.am, docs/lambdamanual.html, docs/lambdamanual_src.html, docs/trans_xml_for_cat.pl, docs/user_manual_style.css: Make lambdamanual.html from lambdamanual_src.html using trans_xml_for_cat.pl Added Files:docs/.cvsignore docs/Makefile.am docs/lambdamanual_src.html docs/trans_xml_for_cat.pl 2003-08-19 16:11 narwhal * docs/: lambda.html, lambdamanual.html: Minor edit. 2003-08-18 22:02 narwhal * docs/lambdamanual.html: Minor Edit. 2003-08-18 21:54 narwhal * docs/lambda.html: Update download version. 2003-08-18 21:53 narwhal * docs/lambda.html: Updated News for release of version 0.1.2. 2003-08-18 21:18 narwhal * Makefile.am, configure.ac: Updated version to 0.1.2 Changed docs dist to only those that are useful. 2003-08-18 21:13 narwhal * docs/lambdamanual.html: Spelling 2003-08-18 21:10 narwhal * docs/: lambdamanual.html, user_manual_style.css: Added List to lambdamanual Added: user_manual_style.css 2003-08-18 11:57 narwhal * docs/lambdamanual.html: More Curry Algebra. 2003-08-18 03:25 narwhal * docs/lambdamanual.html: More curry algebra completeness. 2003-08-18 00:56 narwhal * docs/lambdamanual.html: Adding info about functional completeness to manual. 2003-08-17 22:47 narwhal * texput.log: Removed Files:texput.log 2003-08-17 19:48 narwhal * docs/lambda.html: Updated news. 2003-08-17 19:28 narwhal * docs/lambdamanual.html: Correction for definition of: ext x lambda-exp. 2003-08-16 01:03 narwhal * docs/lambda.html: Minor correction. 2003-08-16 00:53 narwhal * docs/lambda.html: Added lambda.html 2003-08-16 00:28 narwhal * COPYING, INSTALL, fdl.txt, gpl.txt, lambda, docs/lambdamanual.html: Minor documentation changes Modified Files: Added Files: COPYING fdl.txt gpl.txt 2003-08-16 00:06 narwhal * INSTALL, lambda.cc, node.cc, node.h, parse.cc, parse.h, token_stream.cc, token_stream.h: Add gpl notice 2003-08-15 23:57 narwhal * .Makefile, .cvsignore, .makefile, .makefile.root, .makerules.sh, Makefile, Makefile.am, bootstrap, configure.ac, do_configure, lambda, lambda.cc, makefile, makefile.root, makerules.sh, node.cc, parse.cc, token_stream.cc: Converted to auto tools 2003-08-15 21:37 narwhal * docs/lambdamanual.html: Clean up html 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