Add REPL tricks to documentation

[ranocha]

In GitLab by @sloede on May 28, 2020, 08:01

@ranocha has already pointed out a lot of useful tricks for how to use the REPL more effectively and efficiently, such as the benefit of methodswith(). I think it would be helpful to include a section named something like REPL Usage in the docs, where we can collect these kinds of things.

I know this is not strictly documenting "Trixi, the code", but if we consider it more to be "Trixi, the project", I think it makes a lot of sense.

[ranocha]

In GitLab by @ranocha on May 28, 2020, 08:05

I like to use

• the REPL help mode entered with ?
• @which and/or @edit for function calls
• function_name(<tab><tab> to get a list of methods and possible arguments
• methodswith

[ranocha]

In GitLab by @sloede on May 28, 2020, 08:08

mentioned in merge request !57