diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/logicproof.tlpsrc | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc index 1b92867c7d2..175ef53f0d2 100644 --- a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc @@ -23,6 +23,7 @@ depend faktor depend interval depend ionumbers depend isomath +depend logicproof depend lplfitch depend mathcomp depend mattens diff --git a/Master/tlpkg/tlpsrc/logicproof.tlpsrc b/Master/tlpkg/tlpsrc/logicproof.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/logicproof.tlpsrc |