From b219fc3a64062c0a76daba7512acb1439b4965d1 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Mon, 19 Sep 2016 18:35:56 +0200 Subject: Make shell and perl scripts executable. This addresses part of the issues pointed out in #112 --- bin/proofgeneral | 0 coq/coqtags | 0 isar/interface | 0 isar/isartags | 0 lego/legotags | 0 5 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 bin/proofgeneral mode change 100644 => 100755 coq/coqtags mode change 100644 => 100755 isar/interface mode change 100644 => 100755 isar/isartags mode change 100644 => 100755 lego/legotags diff --git a/bin/proofgeneral b/bin/proofgeneral old mode 100644 new mode 100755 diff --git a/coq/coqtags b/coq/coqtags old mode 100644 new mode 100755 diff --git a/isar/interface b/isar/interface old mode 100644 new mode 100755 diff --git a/isar/isartags b/isar/isartags old mode 100644 new mode 100755 diff --git a/lego/legotags b/lego/legotags old mode 100644 new mode 100755 -- cgit v1.2.3