Index of /mirrors/CTAN/support/proof/

../
README                                             30-Sep-2002 17:12    3879
edit                                               30-Sep-2002 17:10     487
example.mf                                         30-Sep-2002 17:10    3761
example.mp                                         30-Sep-2002 17:10    1986
example.tex                                        30-Sep-2002 17:10     11K
install                                            30-Sep-2002 17:10    1929
proof                                              30-Sep-2002 17:10     11K
proof.1                                            30-Sep-2002 17:13     10K
proofrc                                            30-Sep-2002 17:10    5696