معرفی شرکت ها
ProofGeneral-3.7.1-alt1.noarch.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Emacs interface for Proof Assistants
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p9 |
| مخزن | ALTLinux classic noarch |
| نام بسته | ProofGeneral |
| نام فایل بسته | ProofGeneral-3.7.1-alt1.noarch.rpm |
| نسخه بسته | 3.7.1 |
| انتشار بسته | alt1 |
| معماری بسته | noarch |
| نگهدارنده | - |
| تاریخ ساخت | Wed 22 Oct 2008 02 |
| هاست سازنده | bee8.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://proofgeneral.inf.ed.ac.uk/ |
| مجوز | LFCS, University of Edinburgh |
| حجم دانلود | 1.1M |
| حجم نصب | 7.951M |
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.
نیازمندی
| مقدار | نام |
|---|---|
| - | perl |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 3.7.1-alt1 | ProofGeneral |
نحوه نصب
نصب پکیج rpm ProofGeneral:
sudo apt-get install ProofGeneral-3.7.1-alt1.noarch.rpm
فایل ها
| مسیرها |
|---|
| /etc/emacs/site-start.d/proofgeneral.el |
| /usr/share/doc/ProofGeneral-3.7.1 |
| /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 |
| /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 |
| /usr/share/emacs/site-lisp/proofgeneral/bin/proofgeneral |
| /usr/share/emacs/site-lisp/proofgeneral/ccc |
| /usr/share/emacs/site-lisp/proofgeneral/ccc/README |
| /usr/share/emacs/site-lisp/proofgeneral/ccc/ccc.el |
| /usr/share/emacs/site-lisp/proofgeneral/coq |
| /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 |
| /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 |
| /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 |
| /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/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 |
| /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/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/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/etc |
| /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/desktop |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/README |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/application-registry |
| /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 |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/16x16/proofgeneral.png |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/32x32 |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/32x32/proofgeneral.png |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/48x48 |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/icons/48x48/proofgeneral.png |
| /usr/share/emacs/site-lisp/proofgeneral/etc/desktop/mime-info |
| /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/desktop/proofgeneral.desktop |
| /usr/share/emacs/site-lisp/proofgeneral/etc/mmm-install |
| /usr/share/emacs/site-lisp/proofgeneral/etc/testsuite |
| /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 |
| /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 |
| /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 |
| /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 |
| /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 |
| /usr/share/emacs/site-lisp/proofgeneral/isa/README |
| /usr/share/emacs/site-lisp/proofgeneral/isar |
| /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 |
| /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 |
| /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 |
| /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 |
| /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 |
| /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 |
| /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 |
| /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 |
| /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 |
| /usr/share/emacs/site-lisp/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral |
| /usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc |
| /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/bigfonts |
| /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/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/fonts |
| /usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/fonts-ttf |
| /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/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/genfonts |
| /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/hourglass.xbm |
| /usr/share/emacs/site-lisp/proofgeneral/x-symbol/etc/origfonts |
| /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 |
| /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/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/info |
| /usr/share/emacs/site-lisp/proofgeneral/x-symbol/info/x-symbol.info |
| /usr/share/emacs/site-lisp/proofgeneral/x-symbol/lisp |
| /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 |
| /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 |
| /usr/share/emacs/site-lisp/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2008-10-22 |
3.7.1
|
| 2002-10-24 |
new version
|
| 2002-06-26 |
paths fixed
|
| 2002-06-25 |
First RPM release
|