|
The file was added | tests/direct_comp/walk_thru/bchain_comp.metta.answers |
The file was added | tests/direct_comp/walk_thru/debug_mettalogTestCurried.metta.answers |
The file was added | tests/direct_comp/walk_thru/system_proofTestCurried.metta.answers |
The file was added | tests/direct_comp/walk_thru/bchain.metta.answers |
The file was added | tests/direct_comp/walk_thru/comma_is_not_special.metta.answers |
The file was added | tests/direct_comp/walk_thru/bc_impl.metta.answers |
The file was added | tests/features/multidirectional/append_using_equality.metta.answers |
The file was added | tests/direct_comp/walk_thru/bc_comp.metta.answers |
The file was added | tests/direct_comp/walk_thru/tmpMatch1.metta.answers |
The file was added | tests/more-anti-regression/constraint/types.metta.answers |
The file was modified | src/canary_docme/metta_mizer.pl (diff) |
The file was added | tests/direct_comp/walk_thru/mettalogTestCurried2.metta.answers |
The file was added | tests/direct_comp/walk_thru/mettalogTestCurried.metta.answers |
The file was added | tests/direct_comp/walk_thru/tmpMatch2.metta.answers |
The file was added | tests/direct_comp/walk_thru/impl_mettalogTestCurried.metta.answers |
The file was added | tests/direct_comp/walk_thru/test_if_closed.metta.answers |
The file was added | tests/direct_comp/compiler_walkthru.metta.answers |
|
The file was modified | src/canary_docme/metta_server.pl (diff) |
|
The file was modified | src/canary/metta_parser.pl (diff) |