emacs-proofgeneral-el-4.2-2.fc20$>I|YL>8=,?=d # X48\`o~ V0V V V V V  VdVV  V"H"`"t"(#8# 9#H :% G*VH,VI-`VX-Y-\-V]/ V^4 b6rd7e7 f7l7t7,Vu8Vv9w:hVx;V=Cemacs-proofgeneral-el4.22.fc20Elisp source files for Proof General under GNU EmacsThis package contains the elisp source files for Proof General under GNU Emacs. You do not need to install this package to run Proof General. Install the emacs-proofgeneral package to use Proof General with GNU Emacs.Shbuildvm-16.phx2.fedoraproject.orgFedora ProjectFedora ProjectGPLv2Fedora ProjectApplications/Editorshttp://proofgeneral.inf.ed.ac.uk/linuxnoarch $ ! &Dj)uS5>" .I&}WZH'&|F / u 5-/M"Bq5J%4iA+~JJRHWtS9N1eC4U,!8Ѡ 1? -<, bNwO0PaKPCPH̩P?xO!LDPa^(PjtP\PlNyNyOONNyNyNaPa|P**ePC[NyOOHPSNNyO!tP- NyNyP- 1NyP- 1P- 1P|/Oz(NyP&PP NyPa|PGOO2O![O2 NyNzP?xPCNNzNzNzNzNzNzNNzP?xNzPYOB}P?xP?xOOPCNNzP?xP-PFkRO1P#FO1N{N{N{N{O~P?xN{N{N{N{6deb72f7fb499757078a742e529063a884c045c702fa29c8127c76db486b70d435023df4296a7199250c047c037fe5d9f4851abe04ed86f05726d7537f3e34c7607914acb3d812b8859820728cc0c5952e8e9235bc16930f7f6c7404f08e2b4db41849d4f742039e784f65164a2c319327283a58b8ea9ba54322ebc77383a2ff9ee638b2677e99b9a722b365a997029924eb119009761e942057e0366bb3521b701667a69b13ca3e14eaa63a668bd5ebeee407bb9d8599d8f9383f2e089515b303980cd24ba078e122b3cfd0d5acef0f8a0da1b6c79aab5cf9f994d042a8795129350b3807c341c595e534813951ececb8fc6dc6d6e5648ae809c0190a615d32b47c5a1a904d9d58ef34183afa9989babfe9a0541cd4585993ce6c973f8ebbfc12a082ae6fe574ebacdcec52422c61e2b2d7dd9e41461ce632de991cd7c4ce2e1d61bb3b39cd0f1ab474beb36dc0d637da9bd73269145cc3b0c27ffa76e762e7b7ac24078074f7c44281389a8396d2801d2c759ab17b7ce1640964869cfcd3fc394ef570739c3db35f3ed70a66a657b8bd61718f24bc58f1810f8a8de4afe007f8c76d54aeea1d9d295205690594c8e653a1889e704201188b239b3daf01a3352a791e2f7fe3f9d6d76ee2fb15aaba0802f34cc232753c51139cf6b2897878116b456ecea14d5ded9a2cf72eb31ea6ee0e95968a5a5400747e9f397a59b11d04ef0f287fdbff195b0e2eaa5d8480b5c01a6f7ba81f889e69c3a6cab8e759bbd10b02d950546fd5a042457d3cff4260db93ba72e7c4438ca0c1cd6fba0bc7095610f60d768b36b0992af42449b74beff4187f5abc57eaeec2e0bed7a1328e4de93f50d6b5c4a0c459f3ee5c0d6da90a0187ae942c30f76bace94ac2c705746715d2c67c1e2192522b2386676d680777241ceeccd54866ba4ec09992c23f9f024982b9873870b2d2b7e3666674d1780b1a5205d24775607654b86fcd9a3aa80acc63046f24d15aa7b87779e73d44e210212a83f63ddaee474905b5b458c1731a6e808e36240dec74b8a6bb7852346599353d7fc404ab4bcefc37780e538a2f4a4cb92003316c1147d8c40380244dde807c8c9ba46e4d1eb274252416a8416b090e72ee0ff08081f33a4199ee9f0629b5b3f90877481cc2fb20e9927676d143f65487d7c1b477522174b5d52f2a75f759b3cafeba6107dc77be5051582fa29fe870f0ccfe7c618fecd2ab91c458bc1413a8891da067259585d0d71214f489e406c31007179386b958cb946819d984e94cd6826e39037db721ceed834eaded4cac02f76e278a2810046b91bed15d014be60921ed7bb39fed72d37eb46e9a40e869e5495b3d7a3ef9b7a240955f922e19b43d07768114bdd2a4393a1aa652497f891f0b18bc6d91d73c9bb097a3667a29df143a474c759040a6e0680d16c0983aa33aae160dff36844914ee3c74306c64dd91799953a504bd4e409c20d769a30bfa36a445a47d771dcacbfd749478ba0c8e7354f2a9078022c502e404a71f18153dc6652c48f5954177dc0680b3b7a62da4e6ee7756a415f9d96b65392dd574146621334234f03d8de49c299baea3be6c69129a3f12cd3fcc1a565328221851a597a42399e024e712ef7f135d90553a4cb2cc480ae8cf487711014ef9db6daa265566a9f9df1a467096b8dd200ded05a405386bb5ac337fbd34863b918fc40fe395679b8f2e471021346f92818c35c1d00adc05a738f208f91577e9772b5d396100b65b1fcc263e2314a7c2788d13e44c533e73fe1944311f5200cb8f2a3b45a70ae57507b2bbd38722d5fe3891d451ab57fa43ac3202393bd1f8c3a01f5022730ff45489ff35a2a97b943cfa0439820a4e7557b636b3c5d38845d3845cc85d679e9a235f8316a0fa361790178370755800d2a2e9ca7bb85da892885ac631f62c74f0de6daad87223efd1e23f8809265c501077fc5fa685a47ba14d1169bdfd381497dd985132eb4175fdacefedc849b878a486ff998008d00082396aeb10ed270bcd4121aeeb793f4971c3d566196961eac6381b3455c62ba08e32d6ee317e33a4602e59494c94332331b7618ca30889fdbf763fc1711232480eafbff475108b5d67cb03d385a8957a8aa71e6695e37927bba88b11c124fec92f7295b233e8a5bafcbb42e682dbe8e6c660c6e46e3bc873734f91ee61c35b011b1eae873bd33f19797013d6e49d7046795e0d0f3c73d1181127642dfe7f3e33be8596feba43d22c74906f93e15bf5a33e70d0f08b149f23fb3d615a8bd71158a7aea1df62abed677facb6792386a81118218dda233fd873946f3ffad5e2c4c3bc5bc69878cdad0564a42373d0a28efde85a9adcc75e6c54ff3b1113c6c0d141c12d1daf1f3b08e5974565b67ea9151e9230602ab7aabf2d724f6edb8199c0ed1e807ca17f686dbca9f2597bc8994c6cd793b77e498505417fcb0220ae8f16e46b6133817202815f53e22f6899543780d803246fa630ba786a35f2db8d178a64dd7c528c52dd304b1ea75830fbe4b3dac43377a30e77cc91633e0a626115a85507582e09f4225e8235fcc24800b5eaa760204289ac51624ab38fdf9a8d00ffb29390128f66fef6c70885113c8eeb67ecda83a373030d2deb8ce0df38821e7d94b04678abcd375d5376c3b324404284b6a36761515ed8f9c194314475d9f140b2047c8d7bd6193104b798a760f195ae74f61aea5522a3f8e76f5fc9a837624927e08ae5333f628a204b6a33d015d38ee0a5dc6eb82513956753e66d97fedaac9a9ad5b31ba18dcbef7a9d64442eb0e3c4610d635b770612b25f03cafa4feb13ab4914c9ea272129eb37b15d1a72a4f7c268f26bdfb21bb70670dbc7b6e553128c4712f377e8af4b81b98875075155edcb3933b6474fbb9e3b76aede08b39d66ac8192573e2fa6ac277f0499487de26063c4f74627093d3619987d5279010a91c2020257d7507119b55f89ecb9f1a96c9d30df7b56d125db926222ed932f9101a98f6f50355cfdd8b5de6ae8f575e811401e70d0a6ec13c8349eb37ca0be438744a3581b8df58d2c3c6f9503161eb95d538d5f3414e043f772a81184c2a02012fd5352338fde5a7e61c988a8b3195a2cef829d0e15f6094813dcc2360fa24a73833abc00df5c31e2f0e576267174733d0ac399f631e22bd626f699b46e18ee6550f9a6d327d17e46d86edc889cf074a40740ddea1eac29a98d8f8e50f0346c1bac94e11e45202e9cd4993354605ac57cfa1e4558c6e6d05305d61682aa39fc375d47e3f29538ad69c993953252da4ce36fd166226324d1288ffcd24accd26bb4b968b25f0662dc0cc35b0ef1f51d7fa7c92aab0a55dcc214caa125cc8f7ea41f3f769da99d7b56cee4e950dde29a8dd4bf20f4b2e8bfa80ca8ce843cef1b6c2b713196357a73add880ce0ff01bb697ff40e394351ba79ec1413ee8227f66325909fbd2955676c099464d2dfb8856efd98f315d0593c3e08e206c5ad209405a88706bde6d9aa6c48b3e922444aacd9ef5eb590135b0dd33d60df95ab3ba4b3d3ea77b51213775da2ed9cf69235477802b0ba63fd6fa306a28b42a2077b39cef6270f852e919d8089bb41978e7cb3b4803159f3dcc50343d6510756f3bcd51823d5493c67015c154e7d7681237ddb10a0ecefc6e2d8c94d34d9876c4fd04f4dd588c32c962c969e49fcdf7a5e1a1c42a577775f6efdc1b7ed867f5c2225c0ab5f46823e1b736cb7f35e2babe9002feac011be92f346cdb3ac3e276be759e08027ec01e90f506f859dca425306e4c2bbe35be7d921faa70a79c384e8b9a979ff1a53165b3cbb93238ef5a0eb249cf4c4fbc8c10b4cdbfa2e16f8461dc1ad7bd3d90e7c996be84feb4c13eabrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootemacs-common-proofgeneral-4.2-2.fc20.src.rpmemacs-proofgeneral-el    emacs-proofgeneralrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)4.2-2.fc203.0.4-14.6.0-14.0-15.2-14.11.2S(R@QQ@P@P@OMQ0@Jp9JUJL@I@@Jerry James - 4.2-2Jerry James - 4.2-1Fedora Release Engineering - 4.1-3Fedora Release Engineering - 4.1-2Jerry James - 4.1-1Fedora Release Engineering - 3.7.1-7Fedora Release Engineering - 3.7.1-6Fedora Release Engineering - 3.7.1-5Alan Dunn 3.7.1-4Alan Dunn 3.7.1-3Alan Dunn 3.7.1-2Alan Dunn 3.7.1-1- Add AppData file- New upstream release (fixes bz 972343) - Fix eps2pdf BR (bz 913972 and 992196) - Add BRs for newer versions of texlive - Drop upstreamed -elisp patch - Add upstream workaround for Emacs 24.3 byte-compilation error- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- New upstream release - Upstream no longer supports XEmacs - Upstream no longer bundles X-Symbol - Remove unnecessary spec file elements (defattr, etc.) - Move desktop files into places where they will be used- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild- Incorporated comments from Jerry James about applying his patch: patch now applied unconditionally (regardless of Fedora version which was used as a somewhat imperfect way to control XEmacs version). - Patch descriptions moved upward in spec file in accordance with examples in guidelines.- Added xemacs patch that fixes compilation problems for X-Symbol code.- Excluded bundled X-symbol, mmm-mode. - Changed requires for these bundled packages.- Initial Fedora RPM.  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUV4.2-2.fc20 acl2.elccc.elcoq-abbrev.elcoq-autotest.elcoq-db.elcoq-indent.elcoq-local-vars.elcoq-mmm.elcoq-smie-lexer.elcoq-syntax.elcoq-unicode-tokens.elcoq.elpg-assoc.elpg-autotest.elpg-custom.elpg-goals.elpg-movie.elpg-pamacs.elpg-pbrpm.elpg-pgip.elpg-response.elpg-user.elpg-vars.elpg-xml.elproof-autoloads.elproof-auxmodes.elproof-config.elproof-depends.elproof-easy-config.elproof-faces.elproof-indent.elproof-maths-menu.elproof-menu.elproof-mmm.elproof-script.elproof-shell.elproof-site.elproof-splash.elproof-syntax.elproof-toolbar.elproof-tree.elproof-unicode-tokens.elproof-useropts.elproof-utils.elproof.elhol-light-autotest.elhol-light-unicode-tokens.elhol-light.elhol98.elinterface-setup.elisabelle-system.elisar-autotest.elisar-find-theorems.elisar-keywords.elisar-mmm.elisar-profiling.elisar-syntax.elisar-unicode-tokens.elisar.ellego-syntax.ellego.elbufhist.elholes.ellocal-vars-list.elmaths-menu.elpg-dev.elpg-fontsets.elproof-compat.elscomint.elspan.eltexi-docstring-magic.elunicode-chars.elunicode-tokens.elpghashell.elpghaskell.elpgocaml.elpgshell.elphox-extraction.elphox-font.elphox-fun.elphox-lang.elphox-outline.elphox-pbrpm.elphox-sym-lock.elphox-tags.elphox.el/usr/share/emacs/site-lisp/proofgeneral/acl2//usr/share/emacs/site-lisp/proofgeneral/ccc//usr/share/emacs/site-lisp/proofgeneral/coq//usr/share/emacs/site-lisp/proofgeneral/generic//usr/share/emacs/site-lisp/proofgeneral/hol-light//usr/share/emacs/site-lisp/proofgeneral/hol98//usr/share/emacs/site-lisp/proofgeneral/isar//usr/share/emacs/site-lisp/proofgeneral/lego//usr/share/emacs/site-lisp/proofgeneral/lib//usr/share/emacs/site-lisp/proofgeneral/pghaskell//usr/share/emacs/site-lisp/proofgeneral/pgocaml//usr/share/emacs/site-lisp/proofgeneral/pgshell//usr/share/emacs/site-lisp/proofgeneral/phox/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=genericdrpmxz2noarch-redhat-linux-gnuLisp/Scheme program, ASCII textLisp/Scheme program, ISO-8859 textASCII textLisp/Scheme program, UTF-8 Unicode textC source, ASCII text?7zXZ !PH6 0o]"k%m&GmZMMSuXUEP}o9gA{,T^'Z+T8S3]5_v'AOr=>cvO^*bwo,u NX,Eox`n,+.I=ƸtP`ˋyJp _6c!𲝺#Zh 1(-Vބ f1|J%93>3ɑ:"6mسҡ:3di @ p{'$)!hàʅ[eNC rx&IC5'>p}O-^hq34Xu/9A Tn:p]l0KGa4RyxAy-{A4Y~&æ!0\́Ecq:8l@ ^ZL +9O]hu7>s8jDHod{75~ q0V,rt=p9'kG˺5*"k-QfJ:V[3APAic[_|{ M~-4YR'G D1M#5|;ε$Pa%&f`>@`w gaCEEIXX>aV¨'! gVj \s{NH@UC➚ j+-^/T֯EIF. f{-{VЁ5ftq${  ,*k