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






obsolete;
2008-06-14T17:16:23+00:00

Makarius Wenzel

2008-06-14T17:16:23+00:00

41fc4493a96c8a66971d293b557ba9903bf9c053












New files.
2002-08-26T14:11:40+00:00

David Aspinall

2002-08-26T14:11:40+00:00

a72c28f466ecccb4e98a8f8e2436b9e7abaf8d86












New files.
2002-08-09T11:15:57+00:00

David Aspinall

2002-08-09T11:15:57+00:00

8f2bd5d72647452cfb18ad26617996ccb8c69fc5












Test file for proof-shell-set-elisp-variable-regexp
2000-08-28T12:53:58+00:00

David Aspinall

2000-08-28T12:53:58+00:00

34ac266f4af60e78c407f971deb483d79f5964ae












Files for testing theorem dependency features.
2000-08-14T21:06:06+00:00

David Aspinall

2000-08-14T21:06:06+00:00

a0466897230202bff4724a9c91b037ea0862d817












Comment about tripping bug in Isabelle
2000-03-22T13:10:00+00:00

David Aspinall

2000-03-22T13:10:00+00:00

ba0ff9573efd0dadf2843605783b11714f91681d












Added test files to check stupid filename for directories.
2000-03-22T12:55:13+00:00

David Aspinall

2000-03-22T12:55:13+00:00

04dae31678bbb6eb58e957a88625de44da1fa97c












New testing files
1999-11-12T01:09:18+00:00

David Aspinall

1999-11-12T01:09:18+00:00

8a9f2935855bd9ce9e769f5bbd15455fa719b765












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

David Aspinall

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

63d725ff980b8cccaf500b1c4d95d0ed3eb19304