proof-general/html/papers, branch master
Emacs plugins for proof management systems
Deleted file
2004-02-07T19:31:13+00:00
David Aspinall
2004-02-07T19:31:13+00:00
b9caaa8e4b66817dbc66d0e79b567b3285869fea
New files.
2003-11-07T14:08:56+00:00
David Aspinall
2003-11-07T14:08:56+00:00
7573827d07725d8263d14e297689572685880925
Updated
2000-05-17T16:36:49+00:00
David Aspinall
2000-05-17T16:36:49+00:00
b5901035a7b9601c756d40100b6ec212c365308f
Updated PG talk slides
2000-05-16T08:32:58+00:00
David Aspinall
2000-05-16T08:32:58+00:00
2967c538ea9e252a30def33008c90966f3acefa2
Final version of outline paper
2000-03-24T13:55:33+00:00
David Aspinall
2000-03-24T13:55:33+00:00
da3deea307fae7c07631e61d6af5f8bc821ae902
Added slides, news about ETAPS demo.
1999-12-14T20:55:48+00:00
David Aspinall
1999-12-14T20:55:48+00:00
c1a0354d0679fd172b70b4568a452ae9f13121ab
Outline paper
1999-11-26T16:05:59+00:00
David Aspinall
1999-11-26T16:05:59+00:00
5718de94c7fea0cd843c9211bf4cc9be877f5c98