proof-general/plastic, branch master

proof-general/plastic, branch master Emacs plugins for proof management systems Renamed from plastic/plastic.el to obsolete/plastic/plastic.el 2010-08-25T15:09:42+00:00 David Aspinall 2010-08-25T15:09:42+00:00 2e42a7b66e2168cdd53fe1b3090df0d674494999

Renamed from plastic/README to obsolete/plastic/README 2010-08-25T15:09:39+00:00 David Aspinall 2010-08-25T15:09:39+00:00 b668ec516b689f06396b0205b20cf9bce16be94d

Renamed from plastic/plastic-syntax.el to obsolete/plastic/plastic-syntax.el 2010-08-25T15:09:36+00:00 David Aspinall 2010-08-25T15:09:36+00:00 801b05312e95b3dc6d82adf2cf300b6695a6572c

Renamed from plastic/test.lf to obsolete/plastic/test.lf 2010-08-25T15:09:33+00:00 David Aspinall 2010-08-25T15:09:33+00:00 33b8947b98461acdc2d7b88d3002a14d0492b3e6

plastic-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid 2010-07-01T21:23:59+00:00 David Aspinall 2010-07-01T21:23:59+00:00 bd8d9a63e9057856c0b3ec2ab7f2f2274893a12a spurious warning in Emacs 23.2

spurious warning in Emacs 23.2

Functions find-and-forget and count-undos now return lists of commands 2009-09-28T08:40:57+00:00 David Aspinall 2009-09-28T08:40:57+00:00 4b2801a521f7365f8a3833fa9805828792dac853

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

Prevent compile warning 2009-09-15T08:08:12+00:00 David Aspinall 2009-09-15T08:08:12+00:00 e1eebe0f8805e2215e17e25b0815447bd7969ad3

Clean compile and update config 2009-09-10T21:40:32+00:00 David Aspinall 2009-09-10T21:40:32+00:00 30c9c8ebe6e6d1221f1cf45b80a596c8d420ac83

p-s-classify-output -> p-s-handle-output, and simplify system-specific hook 2009-09-09T21:08:51+00:00 David Aspinall 2009-09-09T21:08:51+00:00 f5cf54710cb0d72eba35a59b1a3e86fb0c56473b