![[patchlogo]](http://patch-tracker.debian.org/static/img/swirlpatch.png)
| Diff file | proofgeneral_3.7-3.diff.gz | |
|---|---|---|
| Size | 21422 | |
| MD5sum | c9c3293fccf5f650cf0d0b32966a7811 | |
| ./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 |