diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc index 557d28c8d81..ff508397858 100644 --- a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc @@ -45,6 +45,7 @@ depend ot-tableau depend oubraces depend perfectcut depend prftree +depend prooftrees depend proba depend rec-thy depend ribbonproofs |