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