proof-general/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 






fixed spelling;
2008-01-24T10:17:29+00:00

Makarius Wenzel

2008-01-24T10:17:29+00:00

67047d6c338090f32f371e965a1d12f71f22a391












Many compatibility updates, bug fixes, rearrangements for compilation.
2008-01-15T13:07:11+00:00

David Aspinall

2008-01-15T13:07:11+00:00

6a3c8d9bd0db3a4db6a01a0f587f309da568a943












New files.
2006-12-05T12:51:40+00:00

David Aspinall

2006-12-05T12:51:40+00:00

07559fb1fa3cad5e3fdd2fd5b14313e7ad455c9b












Deleted file
2006-12-05T12:49:56+00:00

David Aspinall

2006-12-05T12:49:56+00:00

7077e2e8fed4a52af4894954c8446781cb5d40d6












Changed the type of proof-goal-command-p. It takes now a span, which
2006-04-26T22:31:52+00:00

Pierre Courtieu

2006-04-26T22:31:52+00:00

8ba99b2013e0f62c9117fc79364630ff1fbec585

allows using a span attribute to detect goal commands.

I think I modified all modes accordingly.





allows using a span attribute to detect goal commands.

I think I modified all modes accordingly.







support nested blocks of super/sub-script, but only the outermost level
2006-02-13T19:45:43+00:00

Makarius Wenzel

2006-02-13T19:45:43+00:00

21005b22eeab5c5d7b4d146547cd37c96268ee62

  is actually displayed as such -- by Clemens Ballarin;





  is actually displayed as such -- by Clemens Ballarin;







added \<setminus>;
2006-01-05T21:30:31+00:00

Makarius Wenzel

2006-01-05T21:30:31+00:00

1d691953b355bdb4843c69c9ff0a336df235ba9e












Remove proof-assistant-settings-cmd, now issued as standard.
2005-09-30T10:26:19+00:00

David Aspinall

2005-09-30T10:26:19+00:00

449bc5f43bdff6a626dc2bb3cf2b9258165a6fd4












old specials are recogized again;
2005-09-28T22:09:07+00:00

Makarius Wenzel

2005-09-28T22:09:07+00:00

a32b405467dde952d90223a2d14de250557d469b