proof-general/pgshell, branch master

proof-general/pgshell, branch master Emacs plugins for proof management systems Fix most doc issues raised by (checkdoc) 2018-08-22T23:23:31+00:00 Erik Martin-Dorel 2018-08-22T22:01:12+00:00 86d22428959a0f5aecef270e0f4dd7d4b5712fc3

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

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

Comments. 2004-04-17T21:18:57+00:00 David Aspinall 2004-04-17T21:18:57+00:00 11d4f8bb40c40086d3c199318923b47ee1b64951

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

New files. 2004-04-13T12:54:34+00:00 David Aspinall 2004-04-13T12:54:34+00:00 f1332103731a3a88fa8d91952d45b27dd0a333b7

Comments 2004-04-06T16:28:46+00:00 David Aspinall 2004-04-06T16:28:46+00:00 0e9241e75ed1082ae2397a198c4b8b8101fff54d

Set syntax table for comments, turn on fly-past-commetns. 2004-04-06T16:04:28+00:00 David Aspinall 2004-04-06T16:04:28+00:00 f2a08e7eca05aeea848711626ccb073d9508b605

Comments. 2004-04-06T15:42:09+00:00 David Aspinall 2004-04-06T15:42:09+00:00 6e72e81ca667f7b6804fb7dee2eb934c63273063