proof-general/etc/README, branch master

proof-general/etc/README, branch master Emacs plugins for proof management systems Updated 2010-12-15T22:47:18+00:00 David Aspinall 2010-12-15T22:47:18+00:00 813d75c12f0624895ad9df8701ed72be1fca616b

Updated 2010-10-10T22:46:09+00:00 David Aspinall 2010-10-10T22:46:09+00:00 3a7b7a27a6069a968c3907f5c531f00249061a31

Updated. 2004-04-15T17:08:31+00:00 David Aspinall 2004-04-15T17:08:31+00:00 5c58f544019e666aafc574a4f543a3baa87d6ad3

Updated. 2002-08-29T14:20:00+00:00 David Aspinall 2002-08-29T14:20:00+00:00 e3acc5a216a2270164d94bf0df3dce787d69def2

Updated. 2002-08-29T14:18:12+00:00 David Aspinall 2002-08-29T14:18:12+00:00 1b5a27429b99858f028ee70c5becafebcc4348bf

Updated. 2002-08-29T14:16:22+00:00 David Aspinall 2002-08-29T14:16:22+00:00 f7463464b18570417c3bb2af8bedb0c36d28e0b8

Doc of spec and menu, patch now removed 2001-05-16T16:02:32+00:00 David Aspinall 2001-05-16T16:02:32+00:00 73854215942e4f539d4fc1d969759942a982823d

New file, test cases for bugs 2000-05-25T17:54:07+00:00 David Aspinall 2000-05-25T17:54:07+00:00 7b59d83391e45b11cd19081eab4096395d6c57b4

Notes about using cvs and branch. 2000-04-28T17:50:43+00:00 David Aspinall 2000-04-28T17:50:43+00:00 a16c46d8f215149b6a3ea5f931846aabaeb0e4dd

Updated 1999-11-17T14:03:09+00:00 David Aspinall 1999-11-17T14:03:09+00:00 1f3bc5756940a7d58b32a549624a0fd10d0f52fe