CVS log for pkgsrc/print/tex-ebproof-doc/distinfo
![[BACK]](/icons/back.gif)
Up to [cvs.NetBSD.org] / pkgsrc / print / tex-ebproof-doc
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Revision 1.4: download - view: text, markup, annotated - select for diffs
Tue Oct 26 11:13:09 2021 UTC (3 years, 6 months ago) by nia
Branches: MAIN
CVS tags: pkgsrc-2025Q1-base,
pkgsrc-2025Q1,
pkgsrc-2024Q4-base,
pkgsrc-2024Q4,
pkgsrc-2024Q3-base,
pkgsrc-2024Q3,
pkgsrc-2024Q2-base,
pkgsrc-2024Q2,
pkgsrc-2024Q1-base,
pkgsrc-2024Q1,
pkgsrc-2023Q4-base,
pkgsrc-2023Q4,
pkgsrc-2023Q3-base,
pkgsrc-2023Q3,
pkgsrc-2023Q2-base,
pkgsrc-2023Q2,
pkgsrc-2023Q1-base,
pkgsrc-2023Q1,
pkgsrc-2022Q4-base,
pkgsrc-2022Q4,
pkgsrc-2022Q3-base,
pkgsrc-2022Q3,
pkgsrc-2022Q2-base,
pkgsrc-2022Q2,
pkgsrc-2022Q1-base,
pkgsrc-2022Q1,
pkgsrc-2021Q4-base,
pkgsrc-2021Q4,
HEAD
Diff to: previous 1.3: preferred, colored
Changes since revision 1.3: +2 -2
lines
print: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
Revision 1.3: download - view: text, markup, annotated - select for diffs
Thu Oct 7 14:49:59 2021 UTC (3 years, 7 months ago) by nia
Branches: MAIN
Diff to: previous 1.2: preferred, colored
Changes since revision 1.2: +1 -2
lines
print: Remove SHA1 hashes for distfiles
Revision 1.2: download - view: text, markup, annotated - select for diffs
Mon Feb 15 02:02:15 2021 UTC (4 years, 2 months ago) by markd
Branches: MAIN
CVS tags: pkgsrc-2021Q3-base,
pkgsrc-2021Q3,
pkgsrc-2021Q2-base,
pkgsrc-2021Q2,
pkgsrc-2021Q1-base,
pkgsrc-2021Q1
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +4 -4
lines
tex-ebproof{,-doc}: update to 2.1.1
This is mostly a bugfix release which ensures compatibility
with the new LaTeX release.
It also makes the `prooftree` environment robust in tabular
contexts and provides a new statement `\overlay` that can
be useful in slideshows.
Revision 1.1: download - view: text, markup, annotated - select for diffs
Tue May 22 21:08:47 2018 UTC (6 years, 11 months ago) by markd
Branches: MAIN
CVS tags: pkgsrc-2020Q4-base,
pkgsrc-2020Q4,
pkgsrc-2020Q3-base,
pkgsrc-2020Q3,
pkgsrc-2020Q2-base,
pkgsrc-2020Q2,
pkgsrc-2020Q1-base,
pkgsrc-2020Q1,
pkgsrc-2019Q4-base,
pkgsrc-2019Q4,
pkgsrc-2019Q3-base,
pkgsrc-2019Q3,
pkgsrc-2019Q2-base,
pkgsrc-2019Q2,
pkgsrc-2019Q1-base,
pkgsrc-2019Q1,
pkgsrc-2018Q4-base,
pkgsrc-2018Q4,
pkgsrc-2018Q3-base,
pkgsrc-2018Q3,
pkgsrc-2018Q2-base,
pkgsrc-2018Q2
tex-ebproof{,-doc}: Add version 2.0
This package provides commands to typeset proof trees in the
style of sequent calculus and related systems. The commands
allow for writing inferences with any number of premises and
alignment of successive formulas on an arbitrary point. Various
options allow complete control over spacing, styles of
inference rules, placement of labels, etc. The package requires
expl3 and xparse.
CVSweb <webmaster@jp.NetBSD.org>