ProofGeneral-3.7.1-alt1.noarch.rpm


Advertisement

Description

ProofGeneral - Emacs interface for Proof Assistants

Property Value
Distribution ALT Linux Sisyphus
Repository Classic noarch
Package name ProofGeneral
Package version 3.7.1
Package release alt1
Package architecture noarch
Package type rpm
Installed size 7.95 MB
Download size 7.95 MB
Official Mirror ftp.altlinux.org
Proof General is a generic Emacs interface for proof assistants,
suitable for use by pacifists and Emacs militants alike.
It is supplied ready-customized for LEGO, Coq, and Isabelle.

Alternatives

Package Version Architecture Repository
ProofGeneral - - -

Requires

Name Value
perl -
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.2-1

Provides

Name Value
ProofGeneral = 3.7.1-alt1

Download

Type URL
Binary Package ProofGeneral-3.7.1-alt1.noarch.rpm
Source Package ProofGeneral-3.7.1-alt1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install ProofGeneral rpm package:
    # sudo apt-get install ProofGeneral

Files

Path
/etc/emacs/site-start.d/proofgeneral.el
/usr/share/doc/ProofGeneral-3.7.1/AUTHORS
/usr/share/doc/ProofGeneral-3.7.1/BUGS
/usr/share/doc/ProofGeneral-3.7.1/CHANGES
/usr/share/doc/ProofGeneral-3.7.1/COPYING
/usr/share/doc/ProofGeneral-3.7.1/FAQ
/usr/share/doc/ProofGeneral-3.7.1/README
/usr/share/emacs/site-lisp/proofgeneral/AUTHORS
/usr/share/emacs/site-lisp/proofgeneral/BUGS
/usr/share/emacs/site-lisp/proofgeneral/CHANGES
/usr/share/emacs/site-lisp/proofgeneral/COMPATIBILITY
/usr/share/emacs/site-lisp/proofgeneral/COPYING
/usr/share/emacs/site-lisp/proofgeneral/FAQ
/usr/share/emacs/site-lisp/proofgeneral/FUTURE
/usr/share/emacs/site-lisp/proofgeneral/INSTALL
/usr/share/emacs/site-lisp/proofgeneral/Makefile
/usr/share/emacs/site-lisp/proofgeneral/README
/usr/share/emacs/site-lisp/proofgeneral/REGISTER
/usr/share/emacs/site-lisp/proofgeneral/acl2/README
/usr/share/emacs/site-lisp/proofgeneral/acl2/acl2.el
/usr/share/emacs/site-lisp/proofgeneral/acl2/example.acl2
/usr/share/emacs/site-lisp/proofgeneral/acl2/root2.acl2
/usr/share/emacs/site-lisp/proofgeneral/acl2/x-symbol-acl2.el
/usr/share/emacs/site-lisp/proofgeneral/bin/proofgeneral
/usr/share/emacs/site-lisp/proofgeneral/ccc/README
/usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el
/usr/share/emacs/site-lisp/proofgeneral/coq/BUGS
/usr/share/emacs/site-lisp/proofgeneral/coq/KnasterTarski.v
/usr/share/emacs/site-lisp/proofgeneral/coq/README
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el
/usr/share/emacs/site-lisp/proofgeneral/coq/coqtags
/usr/share/emacs/site-lisp/proofgeneral/coq/ex-module.v
/usr/share/emacs/site-lisp/proofgeneral/coq/ex-ssreflect.v
/usr/share/emacs/site-lisp/proofgeneral/coq/example-utf8.v
/usr/share/emacs/site-lisp/proofgeneral/coq/example-x-symbols.v
/usr/share/emacs/site-lisp/proofgeneral/coq/example.v
/usr/share/emacs/site-lisp/proofgeneral/coq/root2.v
/usr/share/emacs/site-lisp/proofgeneral/coq/utf8.v
/usr/share/emacs/site-lisp/proofgeneral/coq/x-symbol-coq.el
/usr/share/emacs/site-lisp/proofgeneral/demoisa/README
/usr/share/emacs/site-lisp/proofgeneral/demoisa/demoisa-easy.el
/usr/share/emacs/site-lisp/proofgeneral/demoisa/demoisa.el
/usr/share/emacs/site-lisp/proofgeneral/doc/Makefile
/usr/share/emacs/site-lisp/proofgeneral/doc/Makefile.doc
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting.info
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting.texi
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral.info
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral.texi
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneralPortrait.eps.gz
/usr/share/emacs/site-lisp/proofgeneral/doc/README.documentation
/usr/share/emacs/site-lisp/proofgeneral/doc/dir
/usr/share/emacs/site-lisp/proofgeneral/doc/index.html
/usr/share/emacs/site-lisp/proofgeneral/doc/proofgeneral.1
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_1.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_10.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_11.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_12.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_13.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_14.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_15.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_16.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_17.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_18.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_19.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_2.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_3.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_4.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_5.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_6.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_7.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_8.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_9.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_abt.html
/usr/share/emacs/site-lisp/proofgeneral/doc/PG-adapting/PG-adapting_toc.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_1.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_10.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_11.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_12.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_13.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_14.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_15.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_16.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_17.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_18.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_19.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_2.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_20.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_21.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_3.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_4.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_5.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_6.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_7.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_8.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_9.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_abt.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_fot.html
/usr/share/emacs/site-lisp/proofgeneral/doc/ProofGeneral/ProofGeneral_toc.html
/usr/share/emacs/site-lisp/proofgeneral/etc/ProofGeneral.desktop
/usr/share/emacs/site-lisp/proofgeneral/etc/ProofGeneral.menu
/usr/share/emacs/site-lisp/proofgeneral/etc/ProofGeneral.spec
/usr/share/emacs/site-lisp/proofgeneral/etc/README
/usr/share/emacs/site-lisp/proofgeneral/etc/README.devel
/usr/share/emacs/site-lisp/proofgeneral/etc/mmm-install
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/README
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/proofgeneral.desktop
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/application-registry/proofgeneral.applications
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/16x16/proofgeneral.png
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/32x32/proofgeneral.png
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/48x48/proofgeneral.png
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/mime-info/proofgeneral.keys
/usr/share/emacs/site-lisp/proofgeneral/etc/desktop/mime-info/proofgeneral.mime
/usr/share/emacs/site-lisp/proofgeneral/etc/testsuite/pg-pgip-test.el
/usr/share/emacs/site-lisp/proofgeneral/etc/testsuite/pg-test.el
/usr/share/emacs/site-lisp/proofgeneral/etc/trac/README
/usr/share/emacs/site-lisp/proofgeneral/etc/trac/trac-200.thy
/usr/share/emacs/site-lisp/proofgeneral/etc/trac/trac-206.thy
/usr/share/emacs/site-lisp/proofgeneral/generic/README
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-thymodes.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el
/usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof-x-symbol.el
/usr/share/emacs/site-lisp/proofgeneral/generic/proof.el
/usr/share/emacs/site-lisp/proofgeneral/hol98/README
/usr/share/emacs/site-lisp/proofgeneral/hol98/example.sml
/usr/share/emacs/site-lisp/proofgeneral/hol98/hol98.el
/usr/share/emacs/site-lisp/proofgeneral/hol98/root2.sml
/usr/share/emacs/site-lisp/proofgeneral/hol98/x-symbol-hol98.el
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.gif
/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.jpg
/usr/share/emacs/site-lisp/proofgeneral/images/README
/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png
/usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/gimp
/usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-abort.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-command.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-context.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-find.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-goal.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-goto.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-help.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-info.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-interrupt.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-next.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-qed.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-restart.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-retract.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-state.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-undo.xpm
/usr/share/emacs/site-lisp/proofgeneral/images/pg-use.xpm
/usr/share/emacs/site-lisp/proofgeneral/isa/README
/usr/share/emacs/site-lisp/proofgeneral/isar/BUGS
/usr/share/emacs/site-lisp/proofgeneral/isar/Example-Xsym.thy
/usr/share/emacs/site-lisp/proofgeneral/isar/Example.thy
/usr/share/emacs/site-lisp/proofgeneral/isar/KnasterTarski.thy
/usr/share/emacs/site-lisp/proofgeneral/isar/README
/usr/share/emacs/site-lisp/proofgeneral/isar/Root2_Isar.thy
/usr/share/emacs/site-lisp/proofgeneral/isar/Root2_Tactic.thy
/usr/share/emacs/site-lisp/proofgeneral/isar/Tarski.thy
/usr/share/emacs/site-lisp/proofgeneral/isar/interface
/usr/share/emacs/site-lisp/proofgeneral/isar/interface-setup.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isabelle-system.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-autotest.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-find-theorems.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-keywords.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-mmm.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar-unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isar.el
/usr/share/emacs/site-lisp/proofgeneral/isar/isartags
/usr/share/emacs/site-lisp/proofgeneral/isar/x-symbol-isar.el
/usr/share/emacs/site-lisp/proofgeneral/lclam/README
/usr/share/emacs/site-lisp/proofgeneral/lclam/example.lcm
/usr/share/emacs/site-lisp/proofgeneral/lclam/lclam.el
/usr/share/emacs/site-lisp/proofgeneral/lego/BUGS
/usr/share/emacs/site-lisp/proofgeneral/lego/README
/usr/share/emacs/site-lisp/proofgeneral/lego/example.l
/usr/share/emacs/site-lisp/proofgeneral/lego/example2.l
/usr/share/emacs/site-lisp/proofgeneral/lego/lego-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/lego/lego.el
/usr/share/emacs/site-lisp/proofgeneral/lego/legotags
/usr/share/emacs/site-lisp/proofgeneral/lego/root2.l
/usr/share/emacs/site-lisp/proofgeneral/lego/x-symbol-lego.el
/usr/share/emacs/site-lisp/proofgeneral/lib/README
/usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el
/usr/share/emacs/site-lisp/proofgeneral/lib/holes-load.el
/usr/share/emacs/site-lisp/proofgeneral/lib/holes.el
/usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el
/usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el
/usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el
/usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el
/usr/share/emacs/site-lisp/proofgeneral/lib/span-extent.el
/usr/share/emacs/site-lisp/proofgeneral/lib/span-overlay.el
/usr/share/emacs/site-lisp/proofgeneral/lib/span.el
/usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el
/usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el
/usr/share/emacs/site-lisp/proofgeneral/lib/xml-fixed.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/AUTHORS
/usr/share/emacs/site-lisp/proofgeneral/mmm/COPYING
/usr/share/emacs/site-lisp/proofgeneral/mmm/FAQ
/usr/share/emacs/site-lisp/proofgeneral/mmm/INSTALL
/usr/share/emacs/site-lisp/proofgeneral/mmm/NEWS
/usr/share/emacs/site-lisp/proofgeneral/mmm/README
/usr/share/emacs/site-lisp/proofgeneral/mmm/README.mmm-for-ProofGeneral
/usr/share/emacs/site-lisp/proofgeneral/mmm/TODO
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-auto.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-class.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-cmds.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-compat.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-cweb.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-mason.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-mode.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-noweb.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-region.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-rpm.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-sample.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-univ.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-utils.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm-vars.el
/usr/share/emacs/site-lisp/proofgeneral/mmm/mmm.texinfo
/usr/share/emacs/site-lisp/proofgeneral/mmm/version.texi
/usr/share/emacs/site-lisp/proofgeneral/pgshell/README
/usr/share/emacs/site-lisp/proofgeneral/pgshell/example.pgsh
/usr/share/emacs/site-lisp/proofgeneral/pgshell/pgshell.el
/usr/share/emacs/site-lisp/proofgeneral/phox/README
/usr/share/emacs/site-lisp/proofgeneral/phox/README.pbrpm
/usr/share/emacs/site-lisp/proofgeneral/phox/example.phx
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-extraction.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-font.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-fun.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-lang.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-outline.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-pbrpm.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-sym-lock.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox-tags.el
/usr/share/emacs/site-lisp/proofgeneral/phox/phox.el
/usr/share/emacs/site-lisp/proofgeneral/phox/square-root-2.phx
/usr/share/emacs/site-lisp/proofgeneral/phox/x-symbol-phox.el
/usr/share/emacs/site-lisp/proofgeneral/plastic/README
/usr/share/emacs/site-lisp/proofgeneral/plastic/plastic-syntax.el
/usr/share/emacs/site-lisp/proofgeneral/plastic/plastic.el
/usr/share/emacs/site-lisp/proofgeneral/plastic/test.lf
/usr/share/emacs/site-lisp/proofgeneral/twelf/README
/usr/share/emacs/site-lisp/proofgeneral/twelf/example.elf
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-font.el
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf-old.el
/usr/share/emacs/site-lisp/proofgeneral/twelf/twelf.el
/usr/share/emacs/site-lisp/proofgeneral/twelf/x-symbol-twelf.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/Makefile.emacs
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/RIP.xbm
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/colormap138.xpm
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/drawing.xbm
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/escherknot.xbm
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/hourglass.xbm
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/recycle.xbm
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/termlock.xbm
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/utf-unicode-list.txt
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/bigfonts/README
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/bigfonts/fonts.tar
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/2helvR12.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/2helvR14.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/3helvR12.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/3helvR14.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/5etl14.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/5etl16.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/Makefile
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/heriR12.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/heriR14.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/makesub
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/nilxs.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb0_12.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb0_14.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb0_18.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb0_24.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb1_12.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb1_14.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb1_18.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts/xsymb1_24.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts-ttf/README
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/2helvR12sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/2helvR12sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/2helvR14sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/2helvR14sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/3helvR12sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/3helvR12sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/3helvR14sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/3helvR14sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/5etl14sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/5etl14sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/5etl16sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/5etl16sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR12sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR12sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR14sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR14sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR18sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR18sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR24sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/helvR24sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/heriR12sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/heriR12sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/heriR14sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/heriR14sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_12sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_14sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_18sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb0_24sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_12sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_14sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_18sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sub.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/genfonts/xsymb1_24sup.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/origfonts/helvR12.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/origfonts/helvR14.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/origfonts/helvR18.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/origfonts/helvR24.bdf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/2helvR12.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/2helvR12sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/2helvR12sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/2helvR14.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/2helvR14sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/2helvR14sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/3helvR12.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/3helvR12sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/3helvR12sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/3helvR14.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/3helvR14sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/3helvR14sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/5etl14.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/5etl14sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/5etl14sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/5etl16.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/5etl16sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/5etl16sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/fonts.dir
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR12sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR12sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR14sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR14sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR18sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR18sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR24sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/helvR24sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/heriR12.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/heriR12sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/heriR12sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/heriR14.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/heriR14sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/heriR14sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/nilxs.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_12.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_12sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_12sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_14.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_14sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_14sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_18.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_18sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_18sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_24.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_24sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb0_24sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_12.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_12sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_12sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_14.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_14sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_14sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_18.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_18sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_18sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_24.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_24sub.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/pcf/xsymb1_24sup.pcf
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/info/x-symbol.info
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/ChangeLog
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/Makefile
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/_pkg.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/auto-autoloads.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/custom-load.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/makefile.pkg
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-autoloads.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-bib.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-emacs.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-hooks.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-image.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-macs.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-mule.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-nomule.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-sgml.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-tex.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-texi.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-unichars.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-unicode-extras.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-unicode.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-vars.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol-xmacs.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp/x-symbol.el
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/man/Makefile
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/man/x-symbol.css
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/man/x-symbol.init
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/man/x-symbol.texi
/usr/share/emacs/site-lisp/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol

Changelog

2008-10-22 - Ilya Mashkin <oddity@altlinux.ru> 3.7.1-alt1
- 3.7.1
- fix url

See Also

Package Description
PsychoPy-1.83.04-alt1.noarch.rpm Psychophysics toolkit for Python
PySolFC-2.0-alt2.noarch.rpm A collection of solitare card games
PySolFC-Cardsets-2.0-alt1.noarch.rpm Various cardsets for PySolFC
PySolFC-music-4.40-alt2_16.noarch.rpm Music for PySolFC
Pymacs-0.24-alt1beta2.2.noarch.rpm Two-way communication between Python and Emacs
PyrexDoc-0.1-alt1.1.noarch.rpm PyrexDoc - doco generator for Pyrex
PythonCAD-0.1.36-alt2.1.qa1.1.noarch.rpm An open-source CAD package built designed around Python
R-doc-html-3.5.2-alt1.noarch.rpm HTML manuals for the R Statistical Environment
R-doc-info-3.5.2-alt1.noarch.rpm Info manuals for the R Statistical Environment
R-doc-pdf-3.5.2-alt1.noarch.rpm PDF manuals for the R Statistical Environment
Ri-li-data-2.0.1-alt3.2.qa1.noarch.rpm Data files for Ri-li arcade game
SNNS-Manual-4.2-alt2.qa1.noarch.rpm Printable documentation for Stuttgart Neural Network Simulator
SimplyHTML-0.16.18-alt1_5jpp8.noarch.rpm Application and a java component for rich text processing
SimplyHTML-javadoc-0.16.18-alt1_5jpp8.noarch.rpm API documentation for SimplyHTML
Stringrolled-4-alt1.1.noarch.rpm Help a cat and a princess escape a castle
Advertisement
Advertisement