add documentation to KompileOptions.Backend
add newline between elements in a constructor of a data structure in the pretty printer
temporary fix for issue 789
loosen regex tests
progress on proving bst find in kernelc
added tree pattern for kernelc
added kernelc programs with main
commented out broken part of the tree pattern
changed upper case in lower case in kernelc requires
fixed kernelc and the examples with main to work with each other
fixed copyright
fixed whitespaces
Merge pull request #839 from andreistefanescu/kernelc_extra

fixed a few issues with kernelC; added examples with main functions
included kernelc execution examples to regression test suite
fixed a bug in my fast rewriting algorithm
revised tests/config to test fast execution only
addressed Andrei's comments
Merge pull request #836 from dwightguth/datastructurenewline

add newline between elements in a constructor of a data structure in the...
Merge pull request #837 from yilongli/temporary-fix-for-issue-789

temporary fix for issue 789
Merge pull request #841 from yilongli/add-kernelc-execution-tests

Add kernelc execution tests