![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README.Debian | 2008-04-03 15:53 | 591 | |
| changelog | 2008-04-03 15:53 | 7.1K | |
| compat | 2008-04-03 15:53 | 2 | |
| control | 2008-04-03 15:53 | 2.7K | |
| copyright | 2008-04-03 15:53 | 665 | |
| coqtags.1 | 2008-04-03 15:53 | 1.1K | |
| files | 2008-04-03 15:53 | 236 | |
| isartags.1 | 2008-04-03 15:53 | 1.1K | |
| legotags.1 | 2008-04-03 15:53 | 1.0K | |
| po/ | 2008-04-03 15:53 | - | |
| proofgeneral-coq.docs | 2008-04-03 15:53 | 57 | |
| proofgeneral-coq.examples | 2008-04-03 15:53 | 14 | |
| proofgeneral-doc.doc-base | 2008-04-03 15:53 | 429 | |
| proofgeneral-doc.docs | 2008-04-03 15:53 | 32 | |
| proofgeneral-doc.postinst.debhelper | 2008-04-03 15:53 | 195 | |
| proofgeneral-doc.prerm.debhelper | 2008-04-03 15:53 | 199 | |
| proofgeneral-misc.docs | 2008-04-03 15:53 | 114 | |
| proofgeneral.1 | 2008-04-03 15:53 | 1.1K | |
| proofgeneral.config | 2008-04-03 15:53 | 314 | |
| proofgeneral.docs | 2008-04-03 15:53 | 159 | |
| proofgeneral.menu | 2008-04-03 15:53 | 183 | |
| proofgeneral.postinst | 2008-04-03 15:53 | 1.7K | |
| proofgeneral.postinst.debhelper | 2008-04-03 15:53 | 168 | |
| proofgeneral.postrm | 2008-04-03 15:53 | 181 | |
| proofgeneral.postrm.debhelper | 2008-04-03 15:53 | 332 | |
| proofgeneral.preinst | 2008-04-03 15:53 | 183 | |
| proofgeneral.prerm | 2008-04-03 15:53 | 223 | |
| proofgeneral.sh | 2008-04-03 15:53 | 436 | |
| proofgeneral.substvars | 2008-04-03 15:53 | 44 | |
| proofgeneral.templates | 2008-10-15 10:49 | 873 | |
| proofgeneral.xpm | 2008-04-03 15:53 | 1.5K | |
| rules | 2008-04-03 16:13 | 4.8K | |