proof-general/isar/isartags, branch master

proof-general/isar/isartags, branch master Emacs plugins for proof management systems Make shell and perl scripts executable. 2016-09-19T16:35:56+00:00 Erik Martin-Dorel 2016-09-19T16:35:56+00:00 b219fc3a64062c0a76daba7512acb1439b4965d1 This addresses part of the issues pointed out in #112

This addresses part of the issues pointed out in #112

Program [broken] 2002-06-08T02:16:17+00:00 David Aspinall 2002-06-08T02:16:17+00:00 ec85d5e4ccc623d7ce30b1bebdaee1b07ac5ca42