proof-general/etc/isa/multiple/README, 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 






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

David Aspinall

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

1a10f19e8a61388e74ecc60bf603753cb06681fe












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












Fixed multiple file bug
1998-11-03T16:29:13+00:00

David Aspinall

1998-11-03T16:29:13+00:00

b59d36bf1fceaa9e8529179b2eccc2996bffd24b












More notes
1998-10-29T18:47:39+00:00

David Aspinall

1998-10-29T18:47:39+00:00

d607ce5cfd26922bea0ef61666805e4817cf3516












Ran tests for Isabelle.  Added another test case.
1998-10-29T18:26:45+00:00

David Aspinall

1998-10-29T18:26:45+00:00

98a7850c2c60a6da95dff5724437aa7d6fc6d1d4












Test files for handling multiple files with Isabelle
1998-10-19T14:42:15+00:00

David Aspinall

1998-10-19T14:42:15+00:00

5a98d83c29ef81f9f512e48ca52e03480ff69c32