2 files changed, 0 insertions, 534 deletions

diff --git a/math/isabelle/pkg-plist b/math/isabelle/pkg-plist
index 6fdc5cfb3c65..d33209fe86b8 100644
--- a/math/isabelle/pkg-plist
+++ b/math/isabelle/pkg-plist
@@ -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%%
diff --git a/math/mate-calc/pkg-plist b/math/mate-calc/pkg-plist
index e8af827a1fac..26bdea006882 100644
--- a/math/mate-calc/pkg-plist
+++ b/math/mate-calc/pkg-plist
@@ -831,111 +831,3 @@ share/locale/zh_TW/LC_MESSAGES/mate-calc.mo
 %%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