proof-general/demoisa/README, branch master Emacs plugins for proof management systems 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 






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

David Aspinall

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

4a85e32123565e8e5342dfdd741aae473f16660e












Rearrange
2001-09-03T12:18:14+00:00

David Aspinall

2001-09-03T12:18:14+00:00

2e0157f0511e3af7ea0fe114bea1bf62af3439ba












New/updated information files
2000-03-13T04:21:14+00:00

David Aspinall

2000-03-13T04:21:14+00:00

390a659861192ebf98811438f61c4f992ecad25a












Added README files for each prover, summarizing status.
2000-03-09T07:48:01+00:00

David Aspinall

2000-03-09T07:48:01+00:00

2d65eb01d11d1034db298c94da2dc9a878dcbcb4