proof-general/etc/coq/multiple, branch master

proof-general/etc/coq/multiple, branch master Emacs plugins for proof management systems Update test files 2004-04-24T11:13:54+00:00 David Aspinall 2004-04-24T11:13:54+00:00 922f0c807d00b1f5b2aa7bb8b0acd097f0a79580

New files. 2004-04-22T17:12:33+00:00 David Aspinall 2004-04-22T17:12:33+00:00 b09555cf701bbd02b6cbb8fdf020c0915869d2b8

Explanation 2001-08-31T11:41:29+00:00 David Aspinall 2001-08-31T11:41:29+00:00 5487fa826b97880785a830cde9219e1d04c7160b

*** empty log message *** 2000-12-14T18:54:07+00:00 David Aspinall 2000-12-14T18:54:07+00:00 14de42b72e90aa314b086d3a790e4b21ccb40ec4

Updated to use Require commands 2000-12-14T18:53:29+00:00 David Aspinall 2000-12-14T18:53:29+00:00 4afd3c45883bd424028ef8dd341d34cf2df8f1e3

Updated multiple file notes. 1999-11-08T14:28:21+00:00 David Aspinall 1999-11-08T14:28:21+00:00 32ebebb0ed73f11aa9dd55ec0859a0e3757253b9

Trivial tests for auto multiple files. 1999-10-25T13:04:22+00:00 David Aspinall 1999-10-25T13:04:22+00:00 385e6f2309b0bb7e3eac68ec7e8da449e5fc77ef