Index of /mirrors/CTAN/support/proof/

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