2018-10-19 | Jérôme Benoit | Refine some more the preliminar definitions. | blob | commitdiff | raw |
2018-10-19 | Jérôme Benoit | Addentum. | blob | commitdiff | raw | diff to current |
2018-10-19 | Jérôme Benoit | Add differentiability definition. | blob | commitdiff | raw | diff to current |
2018-10-17 | Jérôme Benoit | Massive code cleanup: | blob | commitdiff | raw | diff to current |
2018-10-16 | Jérôme Benoit | Refine the definitions. | blob | commitdiff | raw | diff to current |
2018-10-16 | Jérôme Benoit | Fixlet to definitions. | blob | commitdiff | raw | diff to current |
2018-10-16 | Jérôme Benoit | Refine the definitions. | blob | commitdiff | raw | diff to current |
2018-10-16 | Jérôme Benoit | Move some files and add beamer slides skeleton | blob | commitdiff | raw | diff to current |