fixed a config.xml
added binder information in Production
Added support for complex binder unification.
added combinators exercise to LAMBDA
updated config and out files for IMP++ exercise
testgen: minor changes
testgen: implemented a two-phase test generation strategy
Java backend: added some documentation
added back some documentation lost in ealier revertion
Java backend: included label field for node Rule
Java backend: minor: added some documentation
testgen: implemented a temporary rule shadowing mechanism for restricting the forms of programs to be generated
testgen: minor change
testgen: fixed a few bugs in the rule shadowing mechanism
Pretty printer: fixed the bug related to pretty-printing list
Pretty printer: temporary fix to the pretty printing of list
reverted my recent changes to the pretty-printing of list; too complicated for tonight
fixed some LOGIK extended examples
added profiling exercise to KOOL typed dynamic
add some helpful assertions