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
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' }} ( ) |