831755fUpdate documentation to add the options for CATS in loggingJoomy Korkut9 years ago 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes10 years ago a0d1566Amended docs and updated CHANGELOG.Jan de Muijnck-Hughes10 years ago 0df1270Change Instance to implementation (#3404)(λ _ λ)10 years ago 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ)10 years ago 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi10 years ago 88241edFixes #2932 with better documentation.Jan de Muijnck-Hughes11 years ago ec3a454Fixes #2865 by adding documentation for category-based logging.Jan de Muijnck-Hughes11 years ago 7f6f3c4Spelling in Sphinx documentationEcho Nolan11 years ago 8de3aa7Fixed indentation of enumerated list.Jan de Muijnck-Hughes11 years ago 4bac087Added details of the compilation and logging process.Jan de Muijnck-Hughes11 years ago