proof-general/lego/todo, branch master
Emacs plugins for proof management systems
Deleted file
2007-12-13T12:58:11+00:00
David Aspinall
2007-12-13T12:58:11+00:00
d64389d34f3494b97c67b7a6094123f1a699040c
New/updated information files
2000-03-13T04:21:14+00:00
David Aspinall
2000-03-13T04:21:14+00:00
390a659861192ebf98811438f61c4f992ecad25a
Split low-level todo into several files.
2000-03-08T05:57:50+00:00
David Aspinall
2000-03-08T05:57:50+00:00
214f1da42a3669caec9864a516f3697f5e8deef6