example codim 1 foliations clean up continued
Merge branch 'JKdevel' into HCdevel
started codim 1 experiment with smart search
Merge branch 'JKdevel' into HCdevel
further refined smart search
Merge branch 'JKdevel' into HCdevel
refined smart search for codim 1 foliations
Merge branch 'HCdevel' into JKdevel
Merge remote-tracking branch 'remotes/origin/HCdevel' into JKdevel
 undocumented keys1, eps
added documentation for point iterator