proof-general/lego/legotags, 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
Default to /usr/bin/perl 2002-06-08T02:13:22+00:00 David Aspinall 2002-06-08T02:13:22+00:00 9e77c4e4b89719bf1bdd8b6948ee06acc5bdaeb9 






Note about alternative path to perl
2000-10-02T17:58:02+00:00

David Aspinall

2000-10-02T17:58:02+00:00

2812fcfd86e6a6f1fb108b9071e7e0b7ceff928c












Make default path to perl be /usr/bin/perl
2000-09-29T14:15:32+00:00

David Aspinall

2000-09-29T14:15:32+00:00

c8fadf72b17715f8bbcfb2b389b73406c0130587












Added Uncaught exception errors in coq-error-regexp.
2000-09-29T12:17:10+00:00

Pierre Courtieu

2000-09-29T12:17:10+00:00

63000d541743e839c62be74af1158f241124ba42












Revert to previous path for perl, better default for non-linux.  Linux uses RPM, where its fixed.
2000-05-25T19:42:55+00:00

David Aspinall

2000-05-25T19:42:55+00:00

1569fe58b136d3c83b0d983d2cef826574b58d51












Change default path to perl
2000-05-25T17:52:16+00:00

David Aspinall

2000-05-25T17:52:16+00:00

ee472eeeb2a091242be2127a4a018187448ce92a












Added Id to headers.
1998-09-09T14:02:46+00:00

David Aspinall

1998-09-09T14:02:46+00:00

f45e4719e7e78d27566cb141f48afccca1e3fd06












Renamed for new subdirectory structure
1998-09-03T13:51:41+00:00

David Aspinall

1998-09-03T13:51:41+00:00

8b836f84d70fcea59ffa186f6809ebc6765b8a5f