svn commit: r374377 - in head/math: isabelle mate-calc

Baptiste Daroussin bapt at FreeBSD.org
Tue Dec 9 13:20:46 UTC 2014 

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%%
- at dirrm %%DATADIR%%/src/ZF/Induct/document
- at dirrm %%DATADIR%%/src/ZF/IMP/document
- at dirrm %%DATADIR%%/src/ZF/Constructible/document
- at dirrm %%DATADIR%%/src/ZF/AC/document
- at dirrm %%DATADIR%%/src/ZF/ex
- at dirrm %%DATADIR%%/src/ZF/document
- at dirrm %%DATADIR%%/src/ZF/UNITY
- at dirrm %%DATADIR%%/src/ZF/Tools
- at dirrm %%DATADIR%%/src/ZF/Resid
- at dirrm %%DATADIR%%/src/ZF/Induct
- at dirrm %%DATADIR%%/src/ZF/IMP
- at dirrm %%DATADIR%%/src/ZF/Constructible
- at dirrm %%DATADIR%%/src/ZF/Coind
- at dirrm %%DATADIR%%/src/ZF/AC
- at dirrm %%DATADIR%%/src/Tools/jEdit/src/jedit
- at dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/lib/Tools
- at dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/properties
- at dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/modes
- at dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/lib
- at dirrm %%DATADIR%%/src/Tools/jEdit/dist-template/etc
- at dirrm %%DATADIR%%/src/Tools/jEdit/contrib/jEdit/nbproject
- at dirrm %%DATADIR%%/src/Tools/jEdit/contrib/jEdit
- at dirrm %%DATADIR%%/src/Tools/jEdit/src
- at dirrm %%DATADIR%%/src/Tools/jEdit/plugin
- at dirrm %%DATADIR%%/src/Tools/jEdit/nbproject
- at dirrm %%DATADIR%%/src/Tools/jEdit/dist-template
- at dirrm %%DATADIR%%/src/Tools/jEdit/contrib
- at dirrm %%DATADIR%%/src/Tools/WWW_Find/lib/Tools
- at dirrm %%DATADIR%%/src/Tools/WWW_Find/www
- at dirrm %%DATADIR%%/src/Tools/WWW_Find/lib
- at dirrm %%DATADIR%%/src/Tools/WWW_Find/etc
- at dirrm %%DATADIR%%/src/Tools/WWW_Find/doc
- at dirrm %%DATADIR%%/src/Tools/Metis/src
- at dirrm %%DATADIR%%/src/Tools/Metis/scripts
- at dirrm %%DATADIR%%/src/Tools/Code/lib/Tools
- at dirrm %%DATADIR%%/src/Tools/Code/lib
- at dirrm %%DATADIR%%/src/Tools/Code/etc
- at dirrm %%DATADIR%%/src/Tools/jEdit
- at dirrm %%DATADIR%%/src/Tools/WWW_Find
- at dirrm %%DATADIR%%/src/Tools/Metis
- at dirrm %%DATADIR%%/src/Tools/IsaPlanner
- at dirrm %%DATADIR%%/src/Tools/Compute_Oracle
- at dirrm %%DATADIR%%/src/Tools/Code
- at dirrm %%DATADIR%%/src/Sequents/LK
- at dirrm %%DATADIR%%/src/Pure/Tools
- at dirrm %%DATADIR%%/src/Pure/Thy
- at dirrm %%DATADIR%%/src/Pure/System
- at dirrm %%DATADIR%%/src/Pure/Syntax
- at dirrm %%DATADIR%%/src/Pure/ProofGeneral
- at dirrm %%DATADIR%%/src/Pure/Proof
- at dirrm %%DATADIR%%/src/Pure/PIDE
- at dirrm %%DATADIR%%/src/Pure/ML-Systems
- at dirrm %%DATADIR%%/src/Pure/ML
- at dirrm %%DATADIR%%/src/Pure/Isar
- at dirrm %%DATADIR%%/src/Pure/General
- at dirrm %%DATADIR%%/src/Pure/Concurrent
- at dirrm %%DATADIR%%/src/Provers/Arith
- at dirrm %%DATADIR%%/src/LCF/ex
- at dirrm %%DATADIR%%/src/HOLCF/Tutorial/document
- at dirrm %%DATADIR%%/src/HOLCF/Tools/Domain
- at dirrm %%DATADIR%%/src/HOLCF/IOA/meta_theory
- at dirrm %%DATADIR%%/src/HOLCF/IOA/ex
- at dirrm %%DATADIR%%/src/HOLCF/IOA/Storage
- at dirrm %%DATADIR%%/src/HOLCF/IOA/NTP
- at dirrm %%DATADIR%%/src/HOLCF/IOA/Modelcheck
- at dirrm %%DATADIR%%/src/HOLCF/IOA/ABP
- at dirrm %%DATADIR%%/src/HOLCF/IMP/document
- at dirrm %%DATADIR%%/src/HOLCF/ex
- at dirrm %%DATADIR%%/src/HOLCF/document
- at dirrm %%DATADIR%%/src/HOLCF/Tutorial
- at dirrm %%DATADIR%%/src/HOLCF/Tools
- at dirrm %%DATADIR%%/src/HOLCF/Library
- at dirrm %%DATADIR%%/src/HOLCF/IOA
- at dirrm %%DATADIR%%/src/HOLCF/IMP
- at dirrm %%DATADIR%%/src/HOLCF/FOCUS
- at dirrm %%DATADIR%%/src/HOL/ex/document
- at dirrm %%DATADIR%%/src/HOL/ZF/document
- at dirrm %%DATADIR%%/src/HOL/Word/document
- at dirrm %%DATADIR%%/src/HOL/Word/Examples
- at dirrm %%DATADIR%%/src/HOL/Unix/document
- at dirrm %%DATADIR%%/src/HOL/UNITY/document
- at dirrm %%DATADIR%%/src/HOL/UNITY/Simple
- at dirrm %%DATADIR%%/src/HOL/UNITY/Comp
- at dirrm %%DATADIR%%/src/HOL/Tools/SMT/lib/scripts
- at dirrm %%DATADIR%%/src/HOL/Tools/SMT/lib
- at dirrm %%DATADIR%%/src/HOL/Tools/SMT/etc
- at dirrm %%DATADIR%%/src/HOL/Tools/ATP_Manager/etc
- at dirrm %%DATADIR%%/src/HOL/Tools/TFL
- at dirrm %%DATADIR%%/src/HOL/Tools/Sledgehammer
- at dirrm %%DATADIR%%/src/HOL/Tools/SMT
- at dirrm %%DATADIR%%/src/HOL/Tools/Quotient
- at dirrm %%DATADIR%%/src/HOL/Tools/Qelim
- at dirrm %%DATADIR%%/src/HOL/Tools/Predicate_Compile
- at dirrm %%DATADIR%%/src/HOL/Tools/Nitpick
- at dirrm %%DATADIR%%/src/HOL/Tools/Function
- at dirrm %%DATADIR%%/src/HOL/Tools/Datatype
- at dirrm %%DATADIR%%/src/HOL/Tools/ATP_Manager
- at dirrm %%DATADIR%%/src/HOL/TLA/Memory
- at dirrm %%DATADIR%%/src/HOL/TLA/Inc
- at dirrm %%DATADIR%%/src/HOL/TLA/Buffer
- at dirrm %%DATADIR%%/src/HOL/Statespace/document
- at dirrm %%DATADIR%%/src/HOL/SET_Protocol/document
- at dirrm %%DATADIR%%/src/HOL/Probability/ex
- at dirrm %%DATADIR%%/src/HOL/Old_Number_Theory/document
- at dirrm %%DATADIR%%/src/HOL/Nominal/Examples
- at dirrm %%DATADIR%%/src/HOL/NanoJava/document
- at dirrm %%DATADIR%%/src/HOL/NSA/document
- at dirrm %%DATADIR%%/src/HOL/NSA/Examples
- at dirrm %%DATADIR%%/src/HOL/Multivariate_Analysis/document
- at dirrm %%DATADIR%%/src/HOL/Mirabelle/lib/scripts
- at dirrm %%DATADIR%%/src/HOL/Mirabelle/lib/Tools
- at dirrm %%DATADIR%%/src/HOL/Mirabelle/lib
- at dirrm %%DATADIR%%/src/HOL/Mirabelle/etc
- at dirrm %%DATADIR%%/src/HOL/Mirabelle/Tools
- at dirrm %%DATADIR%%/src/HOL/MicroJava/document
- at dirrm %%DATADIR%%/src/HOL/MicroJava/JVM
- at dirrm %%DATADIR%%/src/HOL/MicroJava/J
- at dirrm %%DATADIR%%/src/HOL/MicroJava/DFA
- at dirrm %%DATADIR%%/src/HOL/MicroJava/Comp
- at dirrm %%DATADIR%%/src/HOL/MicroJava/BV
- at dirrm %%DATADIR%%/src/HOL/Matrix/document
- at dirrm %%DATADIR%%/src/HOL/Matrix/cplex
- at dirrm %%DATADIR%%/src/HOL/Library/Sum_Of_Squares/etc
- at dirrm %%DATADIR%%/src/HOL/Library/document
- at dirrm %%DATADIR%%/src/HOL/Library/Sum_Of_Squares
- at dirrm %%DATADIR%%/src/HOL/Lattice/document
- at dirrm %%DATADIR%%/src/HOL/Lambda/document
- at dirrm %%DATADIR%%/src/HOL/Isar_Examples/document
- at dirrm %%DATADIR%%/src/HOL/Induct/document
- at dirrm %%DATADIR%%/src/HOL/Import/HOLLight
- at dirrm %%DATADIR%%/src/HOL/Import/HOL
- at dirrm %%DATADIR%%/src/HOL/Import/Generate-HOLLight
- at dirrm %%DATADIR%%/src/HOL/Import/Generate-HOL
- at dirrm %%DATADIR%%/src/HOL/Imperative_HOL/ex
- at dirrm %%DATADIR%%/src/HOL/IMP/document
- at dirrm %%DATADIR%%/src/HOL/Hoare_Parallel/document
- at dirrm %%DATADIR%%/src/HOL/Hoare/document
- at dirrm %%DATADIR%%/src/HOL/Hahn_Banach/document
- at dirrm %%DATADIR%%/src/HOL/Extraction/document
- at dirrm %%DATADIR%%/src/HOL/Decision_Procs/ex
- at dirrm %%DATADIR%%/src/HOL/Boogie/Tools
- at dirrm %%DATADIR%%/src/HOL/Boogie/Examples
- at dirrm %%DATADIR%%/src/HOL/Bali/document
- at dirrm %%DATADIR%%/src/HOL/Auth/document
- at dirrm %%DATADIR%%/src/HOL/Auth/Smartcard
- at dirrm %%DATADIR%%/src/HOL/Auth/Guard
- at dirrm %%DATADIR%%/src/HOL/Algebra/poly
- at dirrm %%DATADIR%%/src/HOL/Algebra/document
- at dirrm %%DATADIR%%/src/HOL/Algebra/abstract
- at dirrm %%DATADIR%%/src/HOL/ex
- at dirrm %%DATADIR%%/src/HOL/document
- at dirrm %%DATADIR%%/src/HOL/ZF
- at dirrm %%DATADIR%%/src/HOL/Word
- at dirrm %%DATADIR%%/src/HOL/Unix
- at dirrm %%DATADIR%%/src/HOL/UNITY
- at dirrm %%DATADIR%%/src/HOL/Tools
- at dirrm %%DATADIR%%/src/HOL/TLA
- at dirrm %%DATADIR%%/src/HOL/Subst
- at dirrm %%DATADIR%%/src/HOL/Statespace
- at dirrm %%DATADIR%%/src/HOL/SMT_Examples
- at dirrm %%DATADIR%%/src/HOL/SET_Protocol
- at dirrm %%DATADIR%%/src/HOL/Quotient_Examples
- at dirrm %%DATADIR%%/src/HOL/Prolog
- at dirrm %%DATADIR%%/src/HOL/Probability
- at dirrm %%DATADIR%%/src/HOL/Predicate_Compile_Examples
- at dirrm %%DATADIR%%/src/HOL/Old_Number_Theory
- at dirrm %%DATADIR%%/src/HOL/Number_Theory
- at dirrm %%DATADIR%%/src/HOL/Nominal
- at dirrm %%DATADIR%%/src/HOL/Nitpick_Examples
- at dirrm %%DATADIR%%/src/HOL/NanoJava
- at dirrm %%DATADIR%%/src/HOL/NSA
- at dirrm %%DATADIR%%/src/HOL/Mutabelle
- at dirrm %%DATADIR%%/src/HOL/Multivariate_Analysis
- at dirrm %%DATADIR%%/src/HOL/Modelcheck
- at dirrm %%DATADIR%%/src/HOL/Mirabelle
- at dirrm %%DATADIR%%/src/HOL/MicroJava
- at dirrm %%DATADIR%%/src/HOL/Metis_Examples
- at dirrm %%DATADIR%%/src/HOL/Matrix
- at dirrm %%DATADIR%%/src/HOL/Library
- at dirrm %%DATADIR%%/src/HOL/Lattice
- at dirrm %%DATADIR%%/src/HOL/Lambda
- at dirrm %%DATADIR%%/src/HOL/Isar_Examples
- at dirrm %%DATADIR%%/src/HOL/Induct
- at dirrm %%DATADIR%%/src/HOL/Import
- at dirrm %%DATADIR%%/src/HOL/Imperative_HOL
- at dirrm %%DATADIR%%/src/HOL/IOA
- at dirrm %%DATADIR%%/src/HOL/IMPP
- at dirrm %%DATADIR%%/src/HOL/IMP
- at dirrm %%DATADIR%%/src/HOL/Hoare_Parallel
- at dirrm %%DATADIR%%/src/HOL/Hoare
- at dirrm %%DATADIR%%/src/HOL/Hahn_Banach
- at dirrm %%DATADIR%%/src/HOL/Extraction
- at dirrm %%DATADIR%%/src/HOL/Decision_Procs
- at dirrm %%DATADIR%%/src/HOL/Boogie
- at dirrm %%DATADIR%%/src/HOL/Bali
- at dirrm %%DATADIR%%/src/HOL/Auth
- at dirrm %%DATADIR%%/src/HOL/Algebra
- at dirrm %%DATADIR%%/src/FOLP/ex
- at dirrm %%DATADIR%%/src/FOL/ex/document
- at dirrm %%DATADIR%%/src/FOL/ex/Locale_Test
- at dirrm %%DATADIR%%/src/FOL/ex
- at dirrm %%DATADIR%%/src/FOL/document
- at dirrm %%DATADIR%%/src/CTT/ex
- at dirrm %%DATADIR%%/src/CCL/ex
- at dirrm %%DATADIR%%/src/ZF
- at dirrm %%DATADIR%%/src/Tools
- at dirrm %%DATADIR%%/src/Sequents
- at dirrm %%DATADIR%%/src/Pure
- at dirrm %%DATADIR%%/src/Provers
- at dirrm %%DATADIR%%/src/LCF
- at dirrm %%DATADIR%%/src/HOLCF
- at dirrm %%DATADIR%%/src/HOL
- at dirrm %%DATADIR%%/src/FOLP
- at dirrm %%DATADIR%%/src/FOL
- at dirrm %%DATADIR%%/src/Cube
- at dirrm %%DATADIR%%/src/CTT
- at dirrm %%DATADIR%%/src/CCL
- at dirrm %%DATADIR%%/lib/browser/awtUtilities
- at dirrm %%DATADIR%%/lib/browser/GraphBrowser
- at dirrm %%DATADIR%%/lib/texinputs
- at dirrm %%DATADIR%%/lib/scripts
- at dirrm %%DATADIR%%/lib/logo
- at dirrm %%DATADIR%%/lib/icons
- at dirrm %%DATADIR%%/lib/html
- at dirrm %%DATADIR%%/lib/fonts
- at dirrm %%DATADIR%%/lib/classes
- at dirrm %%DATADIR%%/lib/browser
- at dirrm %%DATADIR%%/lib/Tools
- at dirrm %%DATADIR%%/lib/ProofGeneral
- at dirrmtry %%DATADIR%%/heaps/%%HEAPSUBDIR%%/log
- at dirrmtry %%DATADIR%%/heaps/%%HEAPSUBDIR%%
- at dirrm %%DATADIR%%/src
- at dirrm %%DATADIR%%/lib
- at dirrmtry %%DATADIR%%/heaps
- at dirrm %%DATADIR%%/etc
- at dirrm %%DATADIR%%/contrib
- at dirrm %%DATADIR%%/bin
- at 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
- at dirrm %%DATADIR%%
- at dirrmtry share/locale/zh_HK/LC_MESSAGES
- at dirrmtry share/locale/zh_HK
- at dirrmtry share/locale/xh/LC_MESSAGES
- at dirrmtry share/locale/xh
- at dirrmtry share/locale/ug/LC_MESSAGES
- at dirrmtry share/locale/ug
- at dirrmtry share/locale/te/LC_MESSAGES
- at dirrmtry share/locale/te
- at dirrmtry share/locale/sr at latin/LC_MESSAGES
- at dirrmtry share/locale/sr at latin
- at dirrmtry share/locale/si/LC_MESSAGES
- at dirrmtry share/locale/si
- at dirrmtry share/locale/rw/LC_MESSAGES
- at dirrmtry share/locale/rw
- at dirrmtry share/locale/oc/LC_MESSAGES
- at dirrmtry share/locale/oc
- at dirrmtry share/locale/my/LC_MESSAGES
- at dirrmtry share/locale/my
- at dirrmtry share/locale/mr/LC_MESSAGES
- at dirrmtry share/locale/mr
- at dirrmtry share/locale/mg/LC_MESSAGES
- at dirrmtry share/locale/mg
- at dirrmtry share/locale/mai/LC_MESSAGES
- at dirrmtry share/locale/mai
- at dirrmtry share/locale/ky/LC_MESSAGES
- at dirrmtry share/locale/ky
- at dirrmtry share/locale/ku/LC_MESSAGES
- at dirrmtry share/locale/ku
- at dirrmtry share/locale/km/LC_MESSAGES
- at dirrmtry share/locale/km
- at dirrmtry share/locale/kk/LC_MESSAGES
- at dirrmtry share/locale/kk
- at dirrmtry share/locale/hy/LC_MESSAGES
- at dirrmtry share/locale/hy
- at dirrmtry share/locale/es_AR/LC_MESSAGES
- at dirrmtry share/locale/es_AR
- at dirrmtry share/locale/en_US/LC_MESSAGES
- at dirrmtry share/locale/en_US
- at dirrmtry share/locale/en at shaw/LC_MESSAGES
- at dirrmtry share/locale/en at shaw
- at dirrmtry share/locale/dz/LC_MESSAGES
- at dirrmtry share/locale/dz
- at dirrmtry share/locale/cmn/LC_MESSAGES
- at dirrmtry share/locale/cmn
- at dirrmtry share/locale/ca at valencia/LC_MESSAGES
- at dirrmtry share/locale/ca at valencia
- at dirrmtry share/locale/bn_IN/LC_MESSAGES
- at dirrmtry share/locale/bn_IN
- at dirrmtry share/locale/be at latin/LC_MESSAGES
- at dirrmtry share/locale/be at latin
- at dirrmtry share/locale/ast/LC_MESSAGES
- at dirrmtry share/locale/ast
- at dirrmtry share/locale/as/LC_MESSAGES
- at dirrmtry share/locale/as
- at dirrmtry share/help/zh_TW/mate-calc
- at dirrmtry share/help/zh_TW
- at dirrmtry share/help/zh_HK/mate-calc
- at dirrmtry share/help/zh_HK
- at dirrmtry share/help/zh_CN/mate-calc
- at dirrmtry share/help/zh_CN
- at dirrmtry share/help/te/mate-calc
- at dirrmtry share/help/te
- at dirrmtry share/help/sv/mate-calc
- at dirrmtry share/help/sv
- at dirrmtry share/help/sl/mate-calc
- at dirrmtry share/help/sl
- at dirrmtry share/help/ru/mate-calc
- at dirrmtry share/help/ru
- at dirrmtry share/help/ro/mate-calc
- at dirrmtry share/help/ro
- at dirrmtry share/help/pt_BR/mate-calc
- at dirrmtry share/help/pt_BR
- at dirrmtry share/help/oc/mate-calc
- at dirrmtry share/help/oc
- at dirrmtry share/help/lv/mate-calc
- at dirrmtry share/help/lv
- at dirrmtry share/help/ko/mate-calc
- at dirrmtry share/help/ko
- at dirrmtry share/help/ja/mate-calc
- at dirrmtry share/help/ja
- at dirrmtry share/help/it/mate-calc
- at dirrmtry share/help/it
- at dirrmtry share/help/hu/mate-calc
- at dirrmtry share/help/hu
- at dirrmtry share/help/gl/mate-calc
- at dirrmtry share/help/gl
- at dirrmtry share/help/fr/mate-calc
- at dirrmtry share/help/fr
- at dirrmtry share/help/fi/mate-calc
- at dirrmtry share/help/fi
- at dirrmtry share/help/eu/mate-calc
- at dirrmtry share/help/eu
- at dirrmtry share/help/es/mate-calc
- at dirrmtry share/help/es
- at dirrmtry share/help/el/mate-calc
- at dirrmtry share/help/el
- at dirrmtry share/help/de/mate-calc
- at dirrmtry share/help/de
- at dirrmtry share/help/cs/mate-calc
- at dirrmtry share/help/cs
- at dirrmtry share/help/ca/mate-calc
- at dirrmtry share/help/ca
- at dirrmtry share/help/bg/mate-calc
- at dirrmtry share/help/bg
- at dirrmtry share/help/C/mate-calc
- at dirrmtry share/help/C
- at dirrmtry share/help

More information about the svn-ports-head mailing list