Fixed REDO/SKIP + cosmetics
Added documentation file