index
:
texlive
branch2007
branch2008
branch2009
branch2009-dev
branch2010
branch2011
branch2012
branch2013
branch2014
branch2015
branch2016
branch2017
branch2018
branch2019
branch2019.4
branch2020
branch2020.0
branch2021
branch2021.final
branch2022
branch2022.final
branch2023
branch2023.final
branch2024
dev/check-dir-before-remove
dev/ci-docs
dev/context-auto-build
dev/fix-old-pdftexconfig-paper-config
dev/for-2022
dev/hybrid-fmtutil
dev/install-libc-check
dev/install-tl-interactive
dev/kanjiembed-prog
dev/paper-factor
dev/parallel-fmtutil
dev/partial-install
dev/post-release-merge
dev/rsync
dev/tlmgr-bug
dev/translation-module
dev/versioned-containers
dev/win64
dev/xetex-post-fontconfig
merged/context-paper
merged/fmtutil-improvements
merged/gpg-status
merged/pref-sys-progs
merged/system-pipe
tags/texlive-2007.0
tags/texlive-2007.1
tags/texlive-2007.2
tags/texlive-2008.0
tags/texlive-2009-dev
tags/texlive-2009-pre
tags/texlive-2009.0
tags/texlive-2010.0
tags/texlive-2011.0
tags/texlive-2012.0
tags/texlive-2013.0
tags/texlive-2013.1
tags/texlive-2014.0
tags/texlive-2015.0
tags/texlive-2016.0
tags/texlive-2017.0
tags/texlive-2017.1
tags/texlive-2018.0
tags/texlive-2018.1
tags/texlive-2018.2
tags/texlive-2019.0
tags/texlive-2019.1
tags/texlive-2019.2
tags/texlive-2019.3
tags/texlive-2019.4
tags/texlive-2020.0
tags/texlive-2021.1
tags/texlive-2021.2
tags/texlive-2021.3
tags/texlive-2022.0
tags/texlive-2023.0
tags/texlive-2024.0
tags/texlive-2024.1
tags/texlive-2024.2
trunk
Mirror of svn TeX Live plus development branches
norbert@preining.info
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Master
/
texmf-dist
/
doc
/
latex
/
logicproof
Mode
Name
Size
-rw-r--r--
README
543
log
plain
-rw-r--r--
logicproof.pdf
55005
log
plain
