Files
| -rwxr-xr-x | 1873 | root | root | /usr/bin/coqtags |
| -rwxr-xr-x | 2078 | root | root | /usr/bin/isartags |
| -rwxr-xr-x | 2255 | root | root | /usr/bin/legotags |
| -rwxr-xr-x | 3884 | root | root | /usr/bin/proofgeneral |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral |
| -rw-r--r-- | 461 | root | root | /usr/share/doc/proofgeneral/AUTHORS |
| -rw-r--r-- | 6508 | root | root | /usr/share/doc/proofgeneral/BUGS |
| -rw-r--r-- | 19419 | root | root | /usr/share/doc/proofgeneral/CHANGES |
| -rw-r--r-- | 2821 | root | root | /usr/share/doc/proofgeneral/COMPATIBILITY |
| -rw-r--r-- | 17992 | root | root | /usr/share/doc/proofgeneral/COPYING |
| -rw-r--r-- | 6547 | root | root | /usr/share/doc/proofgeneral/INSTALL |
| -rw-r--r-- | 360799 | root | root | /usr/share/doc/proofgeneral/PG-adapting.pdf |
| -rw-r--r-- | 439326 | root | root | /usr/share/doc/proofgeneral/ProofGeneral.pdf |
| -rw-r--r-- | 1783 | root | root | /usr/share/doc/proofgeneral/README |
| -rw-r--r-- | 406 | root | root | /usr/share/doc/proofgeneral/REGISTER |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/acl2 |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/hol98 |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/isar |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/lclam |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/lego |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/pgshell |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/phox |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/plastic |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/proofgeneral/twelf |
| -rw-r--r-- | 182 | root | root | /usr/share/doc/proofgeneral/acl2/example.acl2 |
| -rw-r--r-- | 11289 | root | root | /usr/share/doc/proofgeneral/acl2/root2.acl2 |
| -rw-r--r-- | 857 | root | root | /usr/share/doc/proofgeneral/hol98/example.sml |
| -rw-r--r-- | 3834 | root | root | /usr/share/doc/proofgeneral/hol98/root2.sml |
| -rw-r--r-- | 808 | root | root | /usr/share/doc/proofgeneral/isar/Example-Xsym.thy |
| -rw-r--r-- | 703 | root | root | /usr/share/doc/proofgeneral/isar/Example.thy |
| -rw-r--r-- | 3335 | root | root | /usr/share/doc/proofgeneral/isar/KnasterTarski.thy |
| -rw-r--r-- | 5558 | root | root | /usr/share/doc/proofgeneral/isar/Root2_Isar.thy |
| -rw-r--r-- | 2537 | root | root | /usr/share/doc/proofgeneral/isar/Root2_Tactic.thy |
| -rw-r--r-- | 28946 | root | root | /usr/share/doc/proofgeneral/isar/Tarski.thy |
| -rw-r--r-- | 847 | root | root | /usr/share/doc/proofgeneral/lclam/example.lcm |
| -rw-r--r-- | 231 | root | root | /usr/share/doc/proofgeneral/lego/example.l |
| -rw-r--r-- | 43 | root | root | /usr/share/doc/proofgeneral/lego/example2.l |
| -rw-r--r-- | 11978 | root | root | /usr/share/doc/proofgeneral/lego/root2.l |
| -rw-r--r-- | 692 | root | root | /usr/share/doc/proofgeneral/pgshell/example.pgsh |
| -rw-r--r-- | 299 | root | root | /usr/share/doc/proofgeneral/phox/example.phx |
| -rw-r--r-- | 7695 | root | root | /usr/share/doc/proofgeneral/phox/square-root-2.phx |
| -rw-r--r-- | 1186 | root | root | /usr/share/doc/proofgeneral/plastic/test.lf |
| -rw-r--r-- | 1518 | root | root | /usr/share/doc/proofgeneral/twelf/example.elf |
| -rw-r--r-- | 47708 | root | root | /usr/share/info/PG-adapting.info.gz |
| -rw-r--r-- | 56023 | root | root | /usr/share/info/ProofGeneral.info.gz |
| -rw-r--r-- | 771 | root | root | /usr/share/man/man1/proofgeneral.1.gz |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/application-registry |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/applications |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/icons |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/mime-info |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/pixmaps |
| -rw-r--r-- | 169 | root | root | /usr/share/proofgeneral/application-registry/proofgeneral.applications |
| -rw-r--r-- | 329 | root | root | /usr/share/proofgeneral/applications/proofgeneral.desktop |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/icons/hicolor |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/icons/hicolor/16x16 |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/icons/hicolor/32x32 |
| drwxr-xr-x | 4096 | root | root | /usr/share/proofgeneral/icons/hicolor/48x48 |
| -rw-r--r-- | 746 | root | root | /usr/share/proofgeneral/icons/hicolor/16x16/proofgeneral.png |
| -rw-r--r-- | 1974 | root | root | /usr/share/proofgeneral/icons/hicolor/32x32/proofgeneral.png |
| -rw-r--r-- | 4966 | root | root | /usr/share/proofgeneral/icons/hicolor/48x48/proofgeneral.png |
| -rw-r--r-- | 431 | root | root | /usr/share/proofgeneral/mime-info/proofgeneral.keys |
| -rw-r--r-- | 52 | root | root | /usr/share/proofgeneral/mime-info/proofgeneral.mime |
| -rw-r--r-- | 4966 | root | root | /usr/share/proofgeneral/pixmaps/proofgeneral.png |
