Date: Tue, 9 Dec 2014 13:20:46 +0000 (UTC) From: Baptiste Daroussin <bapt@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r374377 - in head/math: isabelle mate-calc Message-ID: <201412091320.sB9DKk79058206@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: bapt Date: Tue Dec 9 13:20:45 2014 New Revision: 374377 URL: https://svnweb.freebsd.org/changeset/ports/374377 QAT: https://qat.redports.org/buildarchive/r374377/ Log: cleanup plist Modified: head/math/isabelle/pkg-plist head/math/mate-calc/pkg-plist Modified: head/math/isabelle/pkg-plist ============================================================================== --- head/math/isabelle/pkg-plist Tue Dec 9 13:12:18 2014 (r374376) +++ head/math/isabelle/pkg-plist Tue Dec 9 13:20:45 2014 (r374377) @@ -5513,429 +5513,3 @@ bin/isabelle-process %%DATADIR%%/src/ZF/ex/Ramsey.thy %%DATADIR%%/src/ZF/ex/Ring.thy %%DATADIR%%/src/ZF/ex/misc.thy -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/UNITY/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Resid/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Induct/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/IMP/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Constructible/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Coind/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/AC/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/UNITY -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Resid -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Induct -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/IMP -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Constructible -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/Coind -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/AC -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/Sequents/LK/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/Sequents/LK -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/Sequents/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ProofGeneral/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/LCF/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/LCF/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/LCF/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/Tutorial/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/Library/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/Storage/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/NTP/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/Modelcheck/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/ABP/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/Storage -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/NTP -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/Modelcheck -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/ABP -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IMP/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/FOCUS/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/Tutorial -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/Library -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IOA -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/IMP -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/FOCUS -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Proofs/Lambda/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Proofs/Extraction/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Proofs/Lambda -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Proofs/Extraction -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Proofs/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Plain/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Main/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Base/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/ZF/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Unix/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/UNITY/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA/Memory/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA/Inc/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA/Buffer/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA/Memory -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA/Inc -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA/Buffer -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Subst/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Statespace/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/SET_Protocol/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Quotient_Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Prolog/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Predicate_Compile_Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Old_Number_Theory/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Number_Theory/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Nitpick_Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/NanoJava/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Mutabelle/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Modelcheck/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Mirabelle/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/MicroJava/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Metis_Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Matrix/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Library/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Lattice/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Isar_Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Induct/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Import/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Imperative_HOL/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/IOA/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/IMPP/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/IMP/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Hoare_Parallel/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Hoare/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Hahn_Banach/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL4/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/SMT_Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/HOL-Boogie/Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/HOL-Boogie/Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/HOL-Boogie/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/SMT_Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/HOL-Boogie -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Probability/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Nominal/Examples/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Nominal/Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Nominal/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-NSA/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Multivariate_Analysis/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Algebra/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Decision_Procs/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Bali/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Auth/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/ZF -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Unix -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/UNITY -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/TLA -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Subst -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Statespace -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/SET_Protocol -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Quotient_Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Prolog -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Predicate_Compile_Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Old_Number_Theory -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Number_Theory -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Nitpick_Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/NanoJava -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Mutabelle -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Modelcheck -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Mirabelle -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/MicroJava -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Metis_Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Matrix -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Library -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Lattice -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Isar_Examples -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Induct -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Import -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Imperative_HOL -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/IOA -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/IMPP -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/IMP -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Hoare_Parallel -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Hoare -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Hahn_Banach -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL4 -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Word -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Probability -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Nominal -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-NSA -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Multivariate_Analysis -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/HOL-Algebra -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Decision_Procs -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Bali -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/Auth -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOLP/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOLP/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOLP/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOL/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOL/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOL/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/Cube/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CTT/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CTT/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CTT/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CCL/ex/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CCL/ex -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CCL/.session -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ZF -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/Sequents -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/ProofGeneral -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/LCF -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOLCF -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Proofs -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Plain -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Main -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL-Base -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/HOL -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOLP -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/FOL -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/Cube -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CTT -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info/CCL -%%PORTDOCS%%@dirrm %%DOCSDIR%%/browser_info -%%PORTDOCS%%@dirrm %%DOCSDIR%% -@dirrm %%DATADIR%%/src/ZF/Induct/document -@dirrm %%DATADIR%%/src/ZF/IMP/document -@dirrm %%DATADIR%%/src/ZF/Constructible/document -@dirrm %%DATADIR%%/src/ZF/AC/document -@dirrm %%DATADIR%%/src/ZF/ex -@dirrm %%DATADIR%%/src/ZF/document -@dirrm %%DATADIR%%/src/ZF/UNITY -@dirrm %%DATADIR%%/src/ZF/Tools -@dirrm %%DATADIR%%/src/ZF/Resid -@dirrm %%DATADIR%%/src/ZF/Induct -@dirrm %%DATADIR%%/src/ZF/IMP -@dirrm %%DATADIR%%/src/ZF/Constructible -@dirrm %%DATADIR%%/src/ZF/Coind -@dirrm %%DATADIR%%/src/ZF/AC -@dirrm %%DATADIR%%/src/Tools/jEdit/src/jedit -@dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/lib/Tools -@dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/properties -@dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/modes -@dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/lib -@dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/etc -@dirrm %%DATADIR%%/src/Tools/jEdit/contrib/jEdit/nbproject -@dirrm %%DATADIR%%/src/Tools/jEdit/contrib/jEdit -@dirrm %%DATADIR%%/src/Tools/jEdit/src -@dirrm %%DATADIR%%/src/Tools/jEdit/plugin -@dirrm %%DATADIR%%/src/Tools/jEdit/nbproject -@dirrm %%DATADIR%%/src/Tools/jEdit/dist-template -@dirrm %%DATADIR%%/src/Tools/jEdit/contrib -@dirrm %%DATADIR%%/src/Tools/WWW_Find/lib/Tools -@dirrm %%DATADIR%%/src/Tools/WWW_Find/www -@dirrm %%DATADIR%%/src/Tools/WWW_Find/lib -@dirrm %%DATADIR%%/src/Tools/WWW_Find/etc -@dirrm %%DATADIR%%/src/Tools/WWW_Find/doc -@dirrm %%DATADIR%%/src/Tools/Metis/src -@dirrm %%DATADIR%%/src/Tools/Metis/scripts -@dirrm %%DATADIR%%/src/Tools/Code/lib/Tools -@dirrm %%DATADIR%%/src/Tools/Code/lib -@dirrm %%DATADIR%%/src/Tools/Code/etc -@dirrm %%DATADIR%%/src/Tools/jEdit -@dirrm %%DATADIR%%/src/Tools/WWW_Find -@dirrm %%DATADIR%%/src/Tools/Metis -@dirrm %%DATADIR%%/src/Tools/IsaPlanner -@dirrm %%DATADIR%%/src/Tools/Compute_Oracle -@dirrm %%DATADIR%%/src/Tools/Code -@dirrm %%DATADIR%%/src/Sequents/LK -@dirrm %%DATADIR%%/src/Pure/Tools -@dirrm %%DATADIR%%/src/Pure/Thy -@dirrm %%DATADIR%%/src/Pure/System -@dirrm %%DATADIR%%/src/Pure/Syntax -@dirrm %%DATADIR%%/src/Pure/ProofGeneral -@dirrm %%DATADIR%%/src/Pure/Proof -@dirrm %%DATADIR%%/src/Pure/PIDE -@dirrm %%DATADIR%%/src/Pure/ML-Systems -@dirrm %%DATADIR%%/src/Pure/ML -@dirrm %%DATADIR%%/src/Pure/Isar -@dirrm %%DATADIR%%/src/Pure/General -@dirrm %%DATADIR%%/src/Pure/Concurrent -@dirrm %%DATADIR%%/src/Provers/Arith -@dirrm %%DATADIR%%/src/LCF/ex -@dirrm %%DATADIR%%/src/HOLCF/Tutorial/document -@dirrm %%DATADIR%%/src/HOLCF/Tools/Domain -@dirrm %%DATADIR%%/src/HOLCF/IOA/meta_theory -@dirrm %%DATADIR%%/src/HOLCF/IOA/ex -@dirrm %%DATADIR%%/src/HOLCF/IOA/Storage -@dirrm %%DATADIR%%/src/HOLCF/IOA/NTP -@dirrm %%DATADIR%%/src/HOLCF/IOA/Modelcheck -@dirrm %%DATADIR%%/src/HOLCF/IOA/ABP -@dirrm %%DATADIR%%/src/HOLCF/IMP/document -@dirrm %%DATADIR%%/src/HOLCF/ex -@dirrm %%DATADIR%%/src/HOLCF/document -@dirrm %%DATADIR%%/src/HOLCF/Tutorial -@dirrm %%DATADIR%%/src/HOLCF/Tools -@dirrm %%DATADIR%%/src/HOLCF/Library -@dirrm %%DATADIR%%/src/HOLCF/IOA -@dirrm %%DATADIR%%/src/HOLCF/IMP -@dirrm %%DATADIR%%/src/HOLCF/FOCUS -@dirrm %%DATADIR%%/src/HOL/ex/document -@dirrm %%DATADIR%%/src/HOL/ZF/document -@dirrm %%DATADIR%%/src/HOL/Word/document -@dirrm %%DATADIR%%/src/HOL/Word/Examples -@dirrm %%DATADIR%%/src/HOL/Unix/document -@dirrm %%DATADIR%%/src/HOL/UNITY/document -@dirrm %%DATADIR%%/src/HOL/UNITY/Simple -@dirrm %%DATADIR%%/src/HOL/UNITY/Comp -@dirrm %%DATADIR%%/src/HOL/Tools/SMT/lib/scripts -@dirrm %%DATADIR%%/src/HOL/Tools/SMT/lib -@dirrm %%DATADIR%%/src/HOL/Tools/SMT/etc -@dirrm %%DATADIR%%/src/HOL/Tools/ATP_Manager/etc -@dirrm %%DATADIR%%/src/HOL/Tools/TFL -@dirrm %%DATADIR%%/src/HOL/Tools/Sledgehammer -@dirrm %%DATADIR%%/src/HOL/Tools/SMT -@dirrm %%DATADIR%%/src/HOL/Tools/Quotient -@dirrm %%DATADIR%%/src/HOL/Tools/Qelim -@dirrm %%DATADIR%%/src/HOL/Tools/Predicate_Compile -@dirrm %%DATADIR%%/src/HOL/Tools/Nitpick -@dirrm %%DATADIR%%/src/HOL/Tools/Function -@dirrm %%DATADIR%%/src/HOL/Tools/Datatype -@dirrm %%DATADIR%%/src/HOL/Tools/ATP_Manager -@dirrm %%DATADIR%%/src/HOL/TLA/Memory -@dirrm %%DATADIR%%/src/HOL/TLA/Inc -@dirrm %%DATADIR%%/src/HOL/TLA/Buffer -@dirrm %%DATADIR%%/src/HOL/Statespace/document -@dirrm %%DATADIR%%/src/HOL/SET_Protocol/document -@dirrm %%DATADIR%%/src/HOL/Probability/ex -@dirrm %%DATADIR%%/src/HOL/Old_Number_Theory/document -@dirrm %%DATADIR%%/src/HOL/Nominal/Examples -@dirrm %%DATADIR%%/src/HOL/NanoJava/document -@dirrm %%DATADIR%%/src/HOL/NSA/document -@dirrm %%DATADIR%%/src/HOL/NSA/Examples -@dirrm %%DATADIR%%/src/HOL/Multivariate_Analysis/document -@dirrm %%DATADIR%%/src/HOL/Mirabelle/lib/scripts -@dirrm %%DATADIR%%/src/HOL/Mirabelle/lib/Tools -@dirrm %%DATADIR%%/src/HOL/Mirabelle/lib -@dirrm %%DATADIR%%/src/HOL/Mirabelle/etc -@dirrm %%DATADIR%%/src/HOL/Mirabelle/Tools -@dirrm %%DATADIR%%/src/HOL/MicroJava/document -@dirrm %%DATADIR%%/src/HOL/MicroJava/JVM -@dirrm %%DATADIR%%/src/HOL/MicroJava/J -@dirrm %%DATADIR%%/src/HOL/MicroJava/DFA -@dirrm %%DATADIR%%/src/HOL/MicroJava/Comp -@dirrm %%DATADIR%%/src/HOL/MicroJava/BV -@dirrm %%DATADIR%%/src/HOL/Matrix/document -@dirrm %%DATADIR%%/src/HOL/Matrix/cplex -@dirrm %%DATADIR%%/src/HOL/Library/Sum_Of_Squares/etc -@dirrm %%DATADIR%%/src/HOL/Library/document -@dirrm %%DATADIR%%/src/HOL/Library/Sum_Of_Squares -@dirrm %%DATADIR%%/src/HOL/Lattice/document -@dirrm %%DATADIR%%/src/HOL/Lambda/document -@dirrm %%DATADIR%%/src/HOL/Isar_Examples/document -@dirrm %%DATADIR%%/src/HOL/Induct/document -@dirrm %%DATADIR%%/src/HOL/Import/HOLLight -@dirrm %%DATADIR%%/src/HOL/Import/HOL -@dirrm %%DATADIR%%/src/HOL/Import/Generate-HOLLight -@dirrm %%DATADIR%%/src/HOL/Import/Generate-HOL -@dirrm %%DATADIR%%/src/HOL/Imperative_HOL/ex -@dirrm %%DATADIR%%/src/HOL/IMP/document -@dirrm %%DATADIR%%/src/HOL/Hoare_Parallel/document -@dirrm %%DATADIR%%/src/HOL/Hoare/document -@dirrm %%DATADIR%%/src/HOL/Hahn_Banach/document -@dirrm %%DATADIR%%/src/HOL/Extraction/document -@dirrm %%DATADIR%%/src/HOL/Decision_Procs/ex -@dirrm %%DATADIR%%/src/HOL/Boogie/Tools -@dirrm %%DATADIR%%/src/HOL/Boogie/Examples -@dirrm %%DATADIR%%/src/HOL/Bali/document -@dirrm %%DATADIR%%/src/HOL/Auth/document -@dirrm %%DATADIR%%/src/HOL/Auth/Smartcard -@dirrm %%DATADIR%%/src/HOL/Auth/Guard -@dirrm %%DATADIR%%/src/HOL/Algebra/poly -@dirrm %%DATADIR%%/src/HOL/Algebra/document -@dirrm %%DATADIR%%/src/HOL/Algebra/abstract -@dirrm %%DATADIR%%/src/HOL/ex -@dirrm %%DATADIR%%/src/HOL/document -@dirrm %%DATADIR%%/src/HOL/ZF -@dirrm %%DATADIR%%/src/HOL/Word -@dirrm %%DATADIR%%/src/HOL/Unix -@dirrm %%DATADIR%%/src/HOL/UNITY -@dirrm %%DATADIR%%/src/HOL/Tools -@dirrm %%DATADIR%%/src/HOL/TLA -@dirrm %%DATADIR%%/src/HOL/Subst -@dirrm %%DATADIR%%/src/HOL/Statespace -@dirrm %%DATADIR%%/src/HOL/SMT_Examples -@dirrm %%DATADIR%%/src/HOL/SET_Protocol -@dirrm %%DATADIR%%/src/HOL/Quotient_Examples -@dirrm %%DATADIR%%/src/HOL/Prolog -@dirrm %%DATADIR%%/src/HOL/Probability -@dirrm %%DATADIR%%/src/HOL/Predicate_Compile_Examples -@dirrm %%DATADIR%%/src/HOL/Old_Number_Theory -@dirrm %%DATADIR%%/src/HOL/Number_Theory -@dirrm %%DATADIR%%/src/HOL/Nominal -@dirrm %%DATADIR%%/src/HOL/Nitpick_Examples -@dirrm %%DATADIR%%/src/HOL/NanoJava -@dirrm %%DATADIR%%/src/HOL/NSA -@dirrm %%DATADIR%%/src/HOL/Mutabelle -@dirrm %%DATADIR%%/src/HOL/Multivariate_Analysis -@dirrm %%DATADIR%%/src/HOL/Modelcheck -@dirrm %%DATADIR%%/src/HOL/Mirabelle -@dirrm %%DATADIR%%/src/HOL/MicroJava -@dirrm %%DATADIR%%/src/HOL/Metis_Examples -@dirrm %%DATADIR%%/src/HOL/Matrix -@dirrm %%DATADIR%%/src/HOL/Library -@dirrm %%DATADIR%%/src/HOL/Lattice -@dirrm %%DATADIR%%/src/HOL/Lambda -@dirrm %%DATADIR%%/src/HOL/Isar_Examples -@dirrm %%DATADIR%%/src/HOL/Induct -@dirrm %%DATADIR%%/src/HOL/Import -@dirrm %%DATADIR%%/src/HOL/Imperative_HOL -@dirrm %%DATADIR%%/src/HOL/IOA -@dirrm %%DATADIR%%/src/HOL/IMPP -@dirrm %%DATADIR%%/src/HOL/IMP -@dirrm %%DATADIR%%/src/HOL/Hoare_Parallel -@dirrm %%DATADIR%%/src/HOL/Hoare -@dirrm %%DATADIR%%/src/HOL/Hahn_Banach -@dirrm %%DATADIR%%/src/HOL/Extraction -@dirrm %%DATADIR%%/src/HOL/Decision_Procs -@dirrm %%DATADIR%%/src/HOL/Boogie -@dirrm %%DATADIR%%/src/HOL/Bali -@dirrm %%DATADIR%%/src/HOL/Auth -@dirrm %%DATADIR%%/src/HOL/Algebra -@dirrm %%DATADIR%%/src/FOLP/ex -@dirrm %%DATADIR%%/src/FOL/ex/document -@dirrm %%DATADIR%%/src/FOL/ex/Locale_Test -@dirrm %%DATADIR%%/src/FOL/ex -@dirrm %%DATADIR%%/src/FOL/document -@dirrm %%DATADIR%%/src/CTT/ex -@dirrm %%DATADIR%%/src/CCL/ex -@dirrm %%DATADIR%%/src/ZF -@dirrm %%DATADIR%%/src/Tools -@dirrm %%DATADIR%%/src/Sequents -@dirrm %%DATADIR%%/src/Pure -@dirrm %%DATADIR%%/src/Provers -@dirrm %%DATADIR%%/src/LCF -@dirrm %%DATADIR%%/src/HOLCF -@dirrm %%DATADIR%%/src/HOL -@dirrm %%DATADIR%%/src/FOLP -@dirrm %%DATADIR%%/src/FOL -@dirrm %%DATADIR%%/src/Cube -@dirrm %%DATADIR%%/src/CTT -@dirrm %%DATADIR%%/src/CCL -@dirrm %%DATADIR%%/lib/browser/awtUtilities -@dirrm %%DATADIR%%/lib/browser/GraphBrowser -@dirrm %%DATADIR%%/lib/texinputs -@dirrm %%DATADIR%%/lib/scripts -@dirrm %%DATADIR%%/lib/logo -@dirrm %%DATADIR%%/lib/icons -@dirrm %%DATADIR%%/lib/html -@dirrm %%DATADIR%%/lib/fonts -@dirrm %%DATADIR%%/lib/classes -@dirrm %%DATADIR%%/lib/browser -@dirrm %%DATADIR%%/lib/Tools -@dirrm %%DATADIR%%/lib/ProofGeneral -@dirrmtry %%DATADIR%%/heaps/%%HEAPSUBDIR%%/log -@dirrmtry %%DATADIR%%/heaps/%%HEAPSUBDIR%% -@dirrm %%DATADIR%%/src -@dirrm %%DATADIR%%/lib -@dirrmtry %%DATADIR%%/heaps -@dirrm %%DATADIR%%/etc -@dirrm %%DATADIR%%/contrib -@dirrm %%DATADIR%%/bin -@dirrm %%DATADIR%% Modified: head/math/mate-calc/pkg-plist ============================================================================== --- head/math/mate-calc/pkg-plist Tue Dec 9 13:12:18 2014 (r374376) +++ head/math/mate-calc/pkg-plist Tue Dec 9 13:20:45 2014 (r374377) @@ -831,111 +831,3 @@ share/locale/zh_TW/LC_MESSAGES/mate-calc %%DATADIR%%/buttons-financial.ui %%DATADIR%%/buttons-programming.ui %%DATADIR%%/preferences.ui -@dirrm %%DATADIR%% -@dirrmtry share/locale/zh_HK/LC_MESSAGES -@dirrmtry share/locale/zh_HK -@dirrmtry share/locale/xh/LC_MESSAGES -@dirrmtry share/locale/xh -@dirrmtry share/locale/ug/LC_MESSAGES -@dirrmtry share/locale/ug -@dirrmtry share/locale/te/LC_MESSAGES -@dirrmtry share/locale/te -@dirrmtry share/locale/sr@latin/LC_MESSAGES -@dirrmtry share/locale/sr@latin -@dirrmtry share/locale/si/LC_MESSAGES -@dirrmtry share/locale/si -@dirrmtry share/locale/rw/LC_MESSAGES -@dirrmtry share/locale/rw -@dirrmtry share/locale/oc/LC_MESSAGES -@dirrmtry share/locale/oc -@dirrmtry share/locale/my/LC_MESSAGES -@dirrmtry share/locale/my -@dirrmtry share/locale/mr/LC_MESSAGES -@dirrmtry share/locale/mr -@dirrmtry share/locale/mg/LC_MESSAGES -@dirrmtry share/locale/mg -@dirrmtry share/locale/mai/LC_MESSAGES -@dirrmtry share/locale/mai -@dirrmtry share/locale/ky/LC_MESSAGES -@dirrmtry share/locale/ky -@dirrmtry share/locale/ku/LC_MESSAGES -@dirrmtry share/locale/ku -@dirrmtry share/locale/km/LC_MESSAGES -@dirrmtry share/locale/km -@dirrmtry share/locale/kk/LC_MESSAGES -@dirrmtry share/locale/kk -@dirrmtry share/locale/hy/LC_MESSAGES -@dirrmtry share/locale/hy -@dirrmtry share/locale/es_AR/LC_MESSAGES -@dirrmtry share/locale/es_AR -@dirrmtry share/locale/en_US/LC_MESSAGES -@dirrmtry share/locale/en_US -@dirrmtry share/locale/en@shaw/LC_MESSAGES -@dirrmtry share/locale/en@shaw -@dirrmtry share/locale/dz/LC_MESSAGES -@dirrmtry share/locale/dz -@dirrmtry share/locale/cmn/LC_MESSAGES -@dirrmtry share/locale/cmn -@dirrmtry share/locale/ca@valencia/LC_MESSAGES -@dirrmtry share/locale/ca@valencia -@dirrmtry share/locale/bn_IN/LC_MESSAGES -@dirrmtry share/locale/bn_IN -@dirrmtry share/locale/be@latin/LC_MESSAGES -@dirrmtry share/locale/be@latin -@dirrmtry share/locale/ast/LC_MESSAGES -@dirrmtry share/locale/ast -@dirrmtry share/locale/as/LC_MESSAGES -@dirrmtry share/locale/as -@dirrmtry share/help/zh_TW/mate-calc -@dirrmtry share/help/zh_TW -@dirrmtry share/help/zh_HK/mate-calc -@dirrmtry share/help/zh_HK -@dirrmtry share/help/zh_CN/mate-calc -@dirrmtry share/help/zh_CN -@dirrmtry share/help/te/mate-calc -@dirrmtry share/help/te -@dirrmtry share/help/sv/mate-calc -@dirrmtry share/help/sv -@dirrmtry share/help/sl/mate-calc -@dirrmtry share/help/sl -@dirrmtry share/help/ru/mate-calc -@dirrmtry share/help/ru -@dirrmtry share/help/ro/mate-calc -@dirrmtry share/help/ro -@dirrmtry share/help/pt_BR/mate-calc -@dirrmtry share/help/pt_BR -@dirrmtry share/help/oc/mate-calc -@dirrmtry share/help/oc -@dirrmtry share/help/lv/mate-calc -@dirrmtry share/help/lv -@dirrmtry share/help/ko/mate-calc -@dirrmtry share/help/ko -@dirrmtry share/help/ja/mate-calc -@dirrmtry share/help/ja -@dirrmtry share/help/it/mate-calc -@dirrmtry share/help/it -@dirrmtry share/help/hu/mate-calc -@dirrmtry share/help/hu -@dirrmtry share/help/gl/mate-calc -@dirrmtry share/help/gl -@dirrmtry share/help/fr/mate-calc -@dirrmtry share/help/fr -@dirrmtry share/help/fi/mate-calc -@dirrmtry share/help/fi -@dirrmtry share/help/eu/mate-calc -@dirrmtry share/help/eu -@dirrmtry share/help/es/mate-calc -@dirrmtry share/help/es -@dirrmtry share/help/el/mate-calc -@dirrmtry share/help/el -@dirrmtry share/help/de/mate-calc -@dirrmtry share/help/de -@dirrmtry share/help/cs/mate-calc -@dirrmtry share/help/cs -@dirrmtry share/help/ca/mate-calc -@dirrmtry share/help/ca -@dirrmtry share/help/bg/mate-calc -@dirrmtry share/help/bg -@dirrmtry share/help/C/mate-calc -@dirrmtry share/help/C -@dirrmtry share/help
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201412091320.sB9DKk79058206>