| Commit | Date | |
|---|---|---|
|
Implemented option to save seek position for sw...
[1cc5a7] by 
Jean-Francois Dockes
|
2018-10-04 | Tree |
|
doc
[ce9b03] by
Jean-Francois Dockes
|
2017-10-17 | Tree |
|
Allow adjusting the font sizes from the prefere...
[6092b6] by
Jean-Francois Dockes
|
2017-08-01 | Tree |
|
doc
[b1742b] by
Jean-Francois Dockes
|
2017-05-10 | Tree |
|
doc and shared code
[d745b3] by
Jean-Francois Dockes
|
2016-10-15 | Tree |
|
doc
[ee5268] by
Jean-Francois Dockes
|
2016-09-27 | Tree |
|
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 |