From cbad96aba5b6f90478d4057b55a17d2e13c47e4c Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 18 Apr 2022 09:22:57 +0100 Subject: [PATCH] Fixed file attributes. --- src/ontologies/CENELEC_50128/CENELEC_50128.thy | 0 src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty | 0 src/ontologies/ontologies.thy | 0 src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty | 0 src/ontologies/scholarly_paper/DOF-scholarly_paper.sty | 0 src/ontologies/scholarly_paper/scholarly_paper.thy | 0 src/ontologies/small_math/small_math.thy | 0 src/ontologies/technical_report/DOF-technical_report.sty | 0 src/ontologies/technical_report/technical_report.thy | 0 9 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/ontologies/CENELEC_50128/CENELEC_50128.thy mode change 100755 => 100644 src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty mode change 100755 => 100644 src/ontologies/ontologies.thy mode change 100755 => 100644 src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty mode change 100755 => 100644 src/ontologies/scholarly_paper/DOF-scholarly_paper.sty mode change 100755 => 100644 src/ontologies/scholarly_paper/scholarly_paper.thy mode change 100755 => 100644 src/ontologies/small_math/small_math.thy mode change 100755 => 100644 src/ontologies/technical_report/DOF-technical_report.sty mode change 100755 => 100644 src/ontologies/technical_report/technical_report.thy diff --git a/src/ontologies/CENELEC_50128/CENELEC_50128.thy b/src/ontologies/CENELEC_50128/CENELEC_50128.thy old mode 100755 new mode 100644 diff --git a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty old mode 100755 new mode 100644 diff --git a/src/ontologies/ontologies.thy b/src/ontologies/ontologies.thy old mode 100755 new mode 100644 diff --git a/src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty b/src/ontologies/scholarly_paper/DOF-scholarly_paper-thm.sty old mode 100755 new mode 100644 diff --git a/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty b/src/ontologies/scholarly_paper/DOF-scholarly_paper.sty old mode 100755 new mode 100644 diff --git a/src/ontologies/scholarly_paper/scholarly_paper.thy b/src/ontologies/scholarly_paper/scholarly_paper.thy old mode 100755 new mode 100644 diff --git a/src/ontologies/small_math/small_math.thy b/src/ontologies/small_math/small_math.thy old mode 100755 new mode 100644 diff --git a/src/ontologies/technical_report/DOF-technical_report.sty b/src/ontologies/technical_report/DOF-technical_report.sty old mode 100755 new mode 100644 diff --git a/src/ontologies/technical_report/technical_report.thy b/src/ontologies/technical_report/technical_report.thy old mode 100755 new mode 100644