aboutsummaryrefslogtreecommitdiffstats
path: root/Documentation/user-manual.html.git
AgeCommit message (Expand)Author
2018-09-23Update HTML versions of manualsGravatar Dirk Hohndel
2018-09-19User manual: update bundled HTMLGravatar Dirk Hohndel
2018-09-16user manual: one more update to the latest HTMLGravatar Dirk Hohndel
2018-09-16user manual: update dates and add latest HTMLGravatar Dirk Hohndel
2018-09-15Update HTML versions of user manualsGravatar Dirk Hohndel
2017-11-03documentation: remove the --win32* argumentsGravatar Lubomir I. Ivanov
2017-10-21user manuals: EN and NL, changed for Subsurface-mobileGravatar Jan Mulder
2017-10-20Update bundled HTML user manualGravatar Dirk Hohndel
2017-04-22Update bundled user manual HTML filesGravatar Dirk Hohndel
2017-01-16Update bundled user manual HTML for English and SpanishGravatar Dirk Hohndel
2016-12-30README: Switch from trac & email patches to GitHub PRs & issuesGravatar Henrik Brautaset Aronsen
2016-11-09Update bundled user-manual HTML filesGravatar Dirk Hohndel
2016-03-16Don't use CRLF in documentation filesGravatar Dirk Hohndel
2015-12-16Update the bundled htlm user manualGravatar Dirk Hohndel
2015-10-14Another update of user manual html files in gitGravatar Dirk Hohndel
2015-10-13Update user manual html files included in the sourcesGravatar Dirk Hohndel
2015-02-17Update html files for user manual to latest versionsGravatar Dirk Hohndel
2015-02-04Update to pre-built user manualsv4.4.0Gravatar Dirk Hohndel
2014-11-18Replace other references to hohndel.orgGravatar Dirk Hohndel
2014-11-17Updated the included user manual html filesGravatar Dirk Hohndel
2014-08-08Add latest html files for user manualGravatar Dirk Hohndel
2014-07-30Once again, add latest html documentation files to gitGravatar Dirk Hohndel
2014-07-25User manual: update generated html filesGravatar Dirk Hohndel
2014-07-24User manual: update generated html filesGravatar Dirk Hohndel
2014-07-24User manual: update generated html filesGravatar Dirk Hohndel
2014-07-18Getting read for Beta 2Gravatar Dirk Hohndel
2014-07-16User manual: add latest html files to git treeGravatar Dirk Hohndel
2014-05-08Yet some more changes to Companion part of user manualv4.1Gravatar Willem Ferguson
2014-04-29User manual: add latest htmlGravatar Dirk Hohndel
2014-04-10Small updates to user manualGravatar Willem Ferguson
2014-03-31EAD/END explanation in user manual.Gravatar Robert C. Helling
2014-03-27User manual: Updates to sections 6 and 10-13Gravatar Willem Ferguson
2014-03-25User manual: Update included .html.git fileGravatar Dirk Hohndel
2014-03-17User manual: Changes to sections 1 and 2Gravatar Willem Ferguson
2014-03-15User manual: Update sections 4 and 5Gravatar Willem Ferguson
2014-02-22User manual: update html fileGravatar Dirk Hohndel
2014-02-18Updated the included user-manual.htmlGravatar Dirk Hohndel
2014-02-13Updated user manual html fileGravatar Dirk Hohndel
2014-02-07User manual: update html file shipped with git repositoryGravatar Dirk Hohndel
2014-01-03Prepare for 4.0.1 releasev4.0.1Gravatar Dirk Hohndel
2013-12-23User manual: updatesGravatar Willem Ferguson
2013-12-20Include the user-manual.html file in the git treeGravatar Dirk Hohndel