proof-general/etc/isa/thy, branch master

proof-general/etc/isa/thy, branch master Emacs plugins for proof management systems Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9

Test case for file recognition bug. 1999-02-01T12:49:52+00:00 David Aspinall 1999-02-01T12:49:52+00:00 65fe1811e9c7832f4b483cd90f07fcf04747671d