proof-general/demoisa, branch master Emacs plugins for proof management systems Renamed from demoisa/demoisa.el to obsolete/demoisa/demoisa.el 2010-08-25T15:09:17+00:00 David Aspinall 2010-08-25T15:09:17+00:00 39a524b690009ea87d5fc2f7809da1903416d52f 






Renamed from demoisa/demoisa-easy.el to obsolete/demoisa/demoisa-easy.el
2010-08-25T15:09:14+00:00

David Aspinall

2010-08-25T15:09:14+00:00

5233a76cd81bbfa426ee33b0e12c183ac69a59f3












Renamed from demoisa/README to obsolete/demoisa/README
2010-08-25T15:09:11+00:00

David Aspinall

2010-08-25T15:09:11+00:00

8e5bbac00d44280363aa7cb63d536fddf6b24eee












Missing requires
2009-09-10T22:43:13+00:00

David Aspinall

2009-09-10T22:43:13+00:00

f934b974ca1d2a125baee95d244961b31a5f12f6












require proof-site also at startup
2009-09-07T09:23:23+00:00

David Aspinall

2009-09-07T09:23:23+00:00

290fe12b7039f078808ce13e44ab4a24646acb2e












Clean whitespace
2009-09-05T10:42:23+00:00

David Aspinall

2009-09-05T10:42:23+00:00

b35ce5388cfbd86b2be92e7acb56ff4aa215f58a












Remove proof-shell-prompt-pattern, no longer used.
2009-09-04T16:42:57+00:00

David Aspinall

2009-09-04T16:42:57+00:00

17460bf8b246b7f26b390ca67145c11ee230de9d












Updated
2009-08-31T20:02:39+00:00

David Aspinall

2009-08-31T20:02:39+00:00

4a85e32123565e8e5342dfdd741aae473f16660e












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












Adjust proof-shell-annotated-prompt-regexp to match latest Isabelle versions
2004-03-30T12:10:20+00:00

David Aspinall

2004-03-30T12:10:20+00:00

c193b1d3e1bbb52ebc8f6551c921ceb007019dea