440 lines
26 KiB
Text
440 lines
26 KiB
Text
bin/coqtags
|
|
bin/interface
|
|
bin/legotags
|
|
bin/proofgeneral
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/acl2.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/acl2/x-symbol-acl2.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-abbrev.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-autotest.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-indent.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/coq.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/coq/x-symbol-coq.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa-easy.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa/demoisa.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/_pkg.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-assoc.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-autotest.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-goals.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-metadata.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pbrpm.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip-old.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-pgip.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-resolve.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-resolve.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-response.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-thymodes.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-user.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xhtml.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/pg-xml.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-autoloads.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-config.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-depends.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-easy-config.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-indent.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-menu.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-mmm.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-script.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-shell.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-site.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-splash.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-system.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-toolbar.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-utils.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof-x-symbol.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/generic/proof.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/hol98.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/hol98/x-symbol-hol98.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.8bit.gif
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.gif
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/ProofGeneral.jpg
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/README
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/favicon.icon
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/hiddenproof.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-abort.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-command.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-context.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-find.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goal.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-goto.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-help.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-info.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-interrupt.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-next.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-qed.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-restart.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-retract.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-state.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.8bit.gif
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.gif
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-text.jpg
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-undo.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.8bit.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/images/pg-use.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/interface-setup.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isa.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/isabelle-system.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/thy-mode.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isa.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isa/x-symbol-isabelle.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-autotest.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-keywords.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-mmm.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/isar.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/isar/x-symbol-isar.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lclam/lclam.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/lego.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lego/x-symbol-lego.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes-load.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/holes.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/proof-compat.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-extent.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span-overlay.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/span.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/texi-docstring-magic.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/lib/xml-fixed.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-auto.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-class.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-cmds.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-compat.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mason.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-mode.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-region.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-rpm.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-sample.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-univ.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-utils.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/mmm/mmm-vars.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-extraction.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-font.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-fun.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-lang.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-outline.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-pbrpm.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox-tags.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/phox.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/phox/x-symbol-phox.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic-syntax.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/plastic/plastic.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-font.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf-old.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/twelf.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/twelf/x-symbol-twelf.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/Makefile.emacs
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/RIP.xbm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/README
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts/fonts.tar
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/colormap138.xpm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/drawing.xbm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/escherknot.xbm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR12.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/2helvR14.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR12.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/3helvR14.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl14.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/5etl16.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/Makefile
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/heriR12.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/heriR14.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/makesub
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/nilxs.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_12.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_14.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_18.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb0_24.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_12.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_14.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_18.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts/xsymb1_24.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl14sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/5etl16sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR12sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR14sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR18sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/helvR24sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR12sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/heriR14sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/hourglass.xbm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR12.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR14.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR18.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts/helvR24.bdf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR12sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/2helvR14sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR12sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/3helvR14sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl14sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/5etl16sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/fonts.dir
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR12sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR14sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR18sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/helvR24sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR12sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/heriR14sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/nilxs.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/recycle.xbm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/termlock.xbm
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info/x-symbol.info
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/ChangeLog
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/Makefile
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/_pkg.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/auto-autoloads.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/custom-load.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/makefile.pkg
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-bib.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-emacs.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-hooks.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-image.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-macs.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-mule.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-nomule.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-sgml.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-tex.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-texi.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-vars.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol-xmacs.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.el
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp/x-symbol.elc
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/Makefile
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.css
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.init
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man/x-symbol.texi
|
|
%%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol
|
|
%%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/pkginfo
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/man
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/lisp
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/pcf
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/origfonts
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/genfonts
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/fonts
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc/bigfonts
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/etc
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/twelf
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/plastic
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/phox
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/mmm
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lib
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lego
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/lclam
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isar
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/isa
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/images
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/hol98
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/generic
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/demoisa
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/coq
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
|
|
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
|
|
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
|
|
share/application-registry/proofgeneral.applications
|
|
share/applications/proofgeneral.desktop
|
|
share/icons/hicolor/16x16/proofgeneral.png
|
|
share/icons/hicolor/32x32/proofgeneral.png
|
|
share/icons/hicolor/48x48/proofgeneral.png
|
|
share/mime-info/proofgeneral.keys
|
|
share/mime-info/proofgeneral.mime
|
|
share/pixmaps/proofgeneral.png
|
|
@unexec /bin/rmdir %D/share/pixmaps 2>/dev/null || /usr/bin/true
|
|
@unexec /bin/rmdir %D/share/mime-info 2>/dev/null || /usr/bin/true
|
|
@unexec /bin/rmdir %D/share/application-registry 2>/dev/null || /usr/bin/true
|