proof-general/isa/README, branch master

proof-general/isa/README, 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

fixed spelling; 2008-01-24T10:17:29+00:00 Makarius Wenzel 2008-01-24T10:17:29+00:00 67047d6c338090f32f371e965a1d12f71f22a391

Many compatibility updates, bug fixes, rearrangements for compilation. 2008-01-15T13:07:11+00:00 David Aspinall 2008-01-15T13:07:11+00:00 6a3c8d9bd0db3a4db6a01a0f587f309da568a943

New files. 2006-12-05T12:51:40+00:00 David Aspinall 2006-12-05T12:51:40+00:00 07559fb1fa3cad5e3fdd2fd5b14313e7ad455c9b

Deleted file 2006-12-05T12:49:56+00:00 David Aspinall 2006-12-05T12:49:56+00:00 7077e2e8fed4a52af4894954c8446781cb5d40d6

Set supported versions of Isabelle (remove 99, 2002 versions). 2004-04-14T21:01:37+00:00 David Aspinall 2004-04-14T21:01:37+00:00 d7a93cb1371f8a74b2fb7f70a5de6c4492657e0a

Updated. 2004-04-14T16:30:28+00:00 David Aspinall 2004-04-14T16:30:28+00:00 c621a2ea58e24b04db91787e38a6842fe80a477b

Updated. 2002-08-29T01:38:14+00:00 David Aspinall 2002-08-29T01:38:14+00:00 3f0bf7149ad9ad49c7c84566637106485370ef65

Updated 2002-08-12T08:30:25+00:00 David Aspinall 2002-08-12T08:30:25+00:00 822bdfccf367136e204131bb9b8900ef8069a054

Isabelle2002 instead of Isabelle2001; 2002-01-21T20:59:50+00:00 Makarius Wenzel 2002-01-21T20:59:50+00:00 df06f5127cac0586f4b384f23821da5640d0c745