Closed mstimberg closed 4 years ago
Updated the user guide by addressing your points. You can download its pre-release version at https://flintproject.github.io/doc/flint-2.4.0-user-guide.pdf.
I think all my comments have been addressed, I'm very happy with the changes.
Issue opened as part of the JOSS review (openjournals/joss-reviews#2331)
Here are a few issues I noticed in the user manual:
flint-cli
,flint-run
,flint-tr
, ...), but these are not mentioned in the user manual and only have very brief README files. Are these only meant for internal use?Minor issues/typos: