Index of /CTAN/support/proof/


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