About project

The set consists (now) of: - a small package for dealing with
duplicate-numbered output pages; - newproof, for defining
mathematical proof structures; - onepagem for omitting the page
number in one-page documents and - time, which prints a 12-hour
format time.

Last commit

abondrov has added 95711bdef3
MassBuild#1671: Increase release tag

Files in

File Message Modification date
{{el.submodule.name}} @ {{el.submodule.id}} {{el.submodule.name+' @ '+el.submodule.id}} {{el.node.name}} {{el.node.name}} {{el.commit.short_message}} {{ el.commit.committed_date | amDateFormat:'YYYY-MM-DD HH:mm' }} ( )

Load More