proof-general/doc/proof.texinfo, branch master Emacs plugins for proof management systems Renamed texinfo file. 1998-09-16T14:48:04+00:00 David Aspinall 1998-09-16T14:48:04+00:00 6074ca55c0285c5153dc139191cf94149b59cea8 






Documentation acknowleges use of three type of buffers:
1998-09-16T14:40:18+00:00

Thomas Kleymann

1998-09-16T14:40:18+00:00

19962a677f2b26707a224e2864dec48b7d2b5de0

  script buffers, goal buffer and process buffer





  script buffers, goal buffer and process buffer







Added Id to headers.
1998-09-09T14:02:46+00:00

David Aspinall

1998-09-09T14:02:46+00:00

f45e4719e7e78d27566cb141f48afccca1e3fd06












Began notes at end about adding new assistant support
1998-09-03T14:25:26+00:00

David Aspinall

1998-09-03T14:25:26+00:00

30f26d7abbde4fa7abacda89917bc170660a917e












Renamed texinfo file.
1998-09-03T14:24:29+00:00

David Aspinall

1998-09-03T14:24:29+00:00

278cb8f866cfb2872e054d0e548792aa7fa077a4