Microsoft Download Center Archive

pfnum: LaTeX Proof-Step Renumbering

  • Published:
  • Version: 1
  • Category: Tool
  • Language: English

This program is for use with the LaTeX pf and pf2 packages. Last published: April 9, 2012.

  • This program is for use with the LaTeX pf and pf2 packages. It makes the symbolic labels of proof steps the same as the printed step numbers.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

FileSize
pfnum-win.zip
SHA1: ddf4c7b573a0df6b8e4637e571e1c3d1f6439509
40 KB

File sizes and hashes are retrieved from the Wayback Machine’s indexes. They may not match the latest versions of files hosted on Microsoft servers.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10

Installation Instructions

    • Click Download and follow the instructions.