diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc index 694e9f8127b..adc5ec05e74 100644 --- a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc @@ -134,6 +134,7 @@ depend pm-isomath depend polexpr depend prftree depend proba +depend proof-at-the-end depend prooftrees depend pseudocode depend pythonhighlight |