documentation: update formulations
authorJulius Bünger <buenger@mytum.de>
Fri, 27 Jul 2018 20:33:02 +0000 (22:33 +0200)
committerJulius Bünger <buenger@mytum.de>
Fri, 27 Jul 2018 20:33:02 +0000 (22:33 +0200)
commit88d8593d0b28b81ced737da13a9c52e39faa8ec4
tree06b7aae4472cbaa94205bc1fea843a8cfa789a01
parent07a57f226261b7a78a57cc6de7e9f03738994b29
documentation: update formulations
doc/documentation/chapters/user.texi