Mercurial > hg > Papers > 2023 > soto-master

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 32: (0) tip
age author description
2023-02-23 soto Add front default tip
2023-02-15 soto Add poster
2023-02-15 soto Add pdf fig
2023-02-15 soto Add svg
2023-02-15 soto Add svg
2023-02-15 soto Add lt slide
2023-02-11 soto Add lt slide
2023-02-11 soto fix slide
2023-02-07 soto fix slide
2023-02-06 soto Add slide
2023-02-05 soto Add slide
2023-02-03 soto Fix
2023-02-02 soto Fix
2023-02-02 soto Fix
2023-02-02 soto Fix
2023-02-02 soto Fix
2023-02-02 soto fix
2023-02-01 soto Add ref
2023-02-01 soto Add ref
2023-01-31 soto add intro
2023-01-29 soto add conclusion
2023-01-28 soto add dpp
2023-01-26 soto add dpp
2023-01-23 soto ...
2023-01-23 soto ...
2023-01-22 soto Add paper dpp
2023-01-21 soto Add paper dpp
2023-01-21 soto Add paper dpp
2023-01-20 soto Add paper dpp
2023-01-20 soto Add paper init~agda
2023-01-12 soto Add dpp
2023-01-12 soto Init paper
2023-01-12 soto Add midterm
less more | rev 32: (0) tip