![[patchlogo]](http://patch-tracker.debian.org/static/img/swirlpatch.png)
| Diff file | proofgeneral_3.7-4.diff.gz | |
|---|---|---|
| Size | 24613 | |
| MD5sum | 0648fa3f0e88a89230a4ba91de44cbc3 | |
| ./debian only changes | view | download |
| non packaging (i.e. not ./debian) changes | view | download |
| file | inserted | deleted | modified | view | download |
|---|---|---|---|---|---|
| .byte-compile | 1 | 0 | 0 | view | download |
| README | 1 | 0 | 0 | view | download |
| bin/proofgeneral | 14 | 12 | 0 | view | download |
| etc/README.devel | 1 | 1 | 0 | view | download |
| generic/proof-script.el | 6 | 2 | 0 | view | download |
| generic/proof-site.el | 1 | 0 | 0 | view | download |
| images/gimp/.cvsignore | 0 | 5 | 0 | view | download |
| minlog/Makefile | 27 | 0 | 0 | view | download |
| minlog/README | 35 | 0 | 0 | view | download |
| minlog/minlog-abbrev.el | 261 | 0 | 0 | view | download |
| minlog/minlog-config.el | 33 | 0 | 0 | view | download |
| minlog/minlog-mzfork.el | 3 | 0 | 0 | view | download |
| minlog/minlog-syntax.el | 23 | 0 | 0 | view | download |
| minlog/minlog.el | 267 | 0 | 0 | view | download |
| minlog/mzfork.c | 55 | 0 | 0 | view | download |
| minlog/mzfork.scm | 11 | 0 | 0 | view | download |