| Commit | Date | |
|---|---|---|
|
included the search section in the main manual ...
[4667e9] by 
Jean-Francois Dockes
|
2016-04-01 | Tree |
|
doc
[885357] by
Jean-Francois Dockes
|
2016-03-30 | Tree |
|
doc
[052586] by
Jean-Francois Dockes
|
2015-12-12 | Tree |
|
doc
[4bdfd4] by
Jean-Francois Dockes
|
2015-11-14 | Tree |
|
doc
[a96d25] by
Jean-Francois Dockes
|
2015-11-13 | Tree |
|
Merged with github master
[ef14c6] by
Jean-Francois Dockes
|
2015-11-10 | Tree |
|
doc
[cd5d55] by
Jean-Francois Dockes
|
2014-11-13 | Tree |
|
doc,version
[b448a3] by
Jean-Francois Dockes
|
2014-11-12 | Tree |