proof-general/etc/isa/multiple, branch master Emacs plugins for proof management systems Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9 






Test files for error in theory processing.
1999-11-09T14:40:17+00:00

David Aspinall

1999-11-09T14:40:17+00:00

63d725ff980b8cccaf500b1c4d95d0ed3eb19304












test stray ML file;
1999-10-27T15:20:49+00:00

Makarius Wenzel

1999-10-27T15:20:49+00:00

3972a7eccf83aa609d2a222223c1a51ed3a0cd20












Trivial changes
1999-10-21T18:18:46+00:00

David Aspinall

1999-10-21T18:18:46+00:00

67e0cc01492d7b5be16fa6f8621760818c043844












Minor change for testing.
1999-10-20T14:56:13+00:00

David Aspinall

1999-10-20T14:56:13+00:00

617883b14251d9e0d92eef7a04217ee75bee29c7












based on Pure rather than Main (which didn't work because of Pure/CPure clash);
1999-08-19T19:22:36+00:00

Makarius Wenzel

1999-08-19T19:22:36+00:00

0d3d489edff3a7659d2bdfc0e0b2dcaf27db6d59












More test cases mentioned
1998-12-11T17:14:10+00:00

David Aspinall

1998-12-11T17:14:10+00:00

1a10f19e8a61388e74ecc60bf603753cb06681fe












Added more commands for testing
1998-12-11T15:14:51+00:00

David Aspinall

1998-12-11T15:14:51+00:00

a97b99796c5070e5fabfa4189d40c4a4bc61ce06












Name of proof-shell-restart was changed.
1998-12-11T13:43:03+00:00

David Aspinall

1998-12-11T13:43:03+00:00

0c8ecb6a379b1594c7864d96e5a33ff1c1a6442b












Changes for better testing
1998-11-18T13:38:32+00:00

David Aspinall

1998-11-18T13:38:32+00:00

d86c77812b57bd1208c226241f3c679866f3c19c