create branch to test new heuristics for pattern matching
modify pattern matching to use heuristics for picking the column to split on
started with writing more complex pattern match heuristics
implemented qba heurtic for pattern matching; don't do splits for which
lead to same result for all cases
adaptation to changes in pattern matching
some fixes for PSL example, however mostly changes to MEM and not pattern matching
adaption to changed interface of pattern-matching
execute several heuristics for pattern-matching and choose the best result
interface of pattern matching simplified
added exhaustive pattern match heuristic (useful only for very small examples)
added trace "pp_cases" that allows to turn pretty-printing for case-expressions off
Merge remote-tracking branch 'origin/master' into pmatch
added pp_cases to emacs-mode
Merge remote-tracking branch 'origin/pmatch' into pmatch
minor tweaks for pattern matching
Merge remote-tracking branch 'origin/master' into pmatch