proof-general/hol98, branch master

proof-general/hol98, branch master Emacs plugins for proof management systems Update copyright messages and improve the header of elisp files. 2018-02-20T23:53:25+00:00 Erik Martin-Dorel 2017-08-12T11:48:08+00:00 4e0c2a00cfbb7ea5c5ab68573bfb0edb78e8bd6f

Replace proof-terminal-char with proof-terminal-string. 2010-08-27T16:32:16+00:00 David Aspinall 2010-08-27T16:32:16+00:00 e1a327e5621d191fe408d12b331d05dda17b395c

Prevent compile warnings 2009-09-06T19:44:38+00:00 David Aspinall 2009-09-06T19:44:38+00:00 6ca6528ddd308a7944e1d047711e79f7ef7efebc

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

Deleted file 2007-12-13T12:58:11+00:00 David Aspinall 2007-12-13T12:58:11+00:00 d64389d34f3494b97c67b7a6094123f1a699040c

New files. 2004-04-16T09:41:45+00:00 David Aspinall 2004-04-16T09:41:45+00:00 1e3adb3b850d4cf863463e1231fcecf36020e106

Updated. 2004-04-15T08:00:56+00:00 David Aspinall 2004-04-15T08:00:56+00:00 a35b5be37664216deb2afb2ec63009637846d9cc

Remove X-symbol support from secondary provers temporarily 2004-04-14T17:25:52+00:00 David Aspinall 2004-04-14T17:25:52+00:00 50c5e88196ad1b7ab0483a9e23f9035733a89c2e