Fri, 29 Mar 2019 12:24:34 +0100 | wenzelm | clarified style: allow to search PDF for keywords containing "_"; | file | diff | annotate |
Mon, 14 Jan 2019 18:33:53 +0000 | haftmann | canonical operation to typeset generated code makes dedicated environment obsolete | file | diff | annotate |
Wed, 22 Feb 2017 20:24:50 +0100 | haftmann | basic documentation for computations | file | diff | annotate |
Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |