proof-general/lclam, branch master

proof-general/lclam, branch master Emacs plugins for proof management systems Deleted file 2010-08-25T15:06:03+00:00 David Aspinall 2010-08-25T15:06:03+00:00 02bb1c8598c540f4166f3c3f0f88c88df541c2dc

Update docs 2009-09-28T08:35:08+00:00 David Aspinall 2009-09-28T08:35:08+00:00 228d8c8b9ec1d4a5a8616080c10cbaf23e0c18c4

Fix compile errors 2009-09-15T07:47:15+00:00 David Aspinall 2009-09-15T07:47:15+00:00 682b4c17840aaa694cf3c7684bb5b06bcb4108c2

Clean whitespace 2009-09-05T10:42:23+00:00 David Aspinall 2009-09-05T10:42:23+00:00 b35ce5388cfbd86b2be92e7acb56ff4aa215f58a

Remove proof-shell-prompt-pattern, no longer used. 2009-09-04T16:42:57+00:00 David Aspinall 2009-09-04T16:42:57+00:00 17460bf8b246b7f26b390ca67145c11ee230de9d

Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9

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

Remove/fix some junk 2004-04-02T17:01:16+00:00 David Aspinall 2004-04-02T17:01:16+00:00 7f2d7dc8a4684428b34ac31170696b106d297a76

remove spurious (interactive) 2004-03-01T17:52:58+00:00 David Aspinall 2004-03-01T17:52:58+00:00 5d91731fe1f2fb4d371f40c644d78b09ed4641a0

Fix 2004-03-01T00:12:37+00:00 David Aspinall 2004-03-01T00:12:37+00:00 9f270997d7e95480c943a54a990a87edec3a5124