From: Jean-Paul Pelteret Date: Mon, 10 Jun 2019 07:09:48 +0000 (+0200) Subject: Merge pull request #30 from dealii/jppelteret-patch-1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3538e27fd3e5293255412182b4717f26e1ab3487;p=release-papers.git Merge pull request #30 from dealii/jppelteret-patch-1 Improve wording of symbolic differentiation ops --- 3538e27fd3e5293255412182b4717f26e1ab3487