proof-general/TODO.defunct, 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
Renamed file
2004-12-01T22:38:34+00:00
David Aspinall
2004-12-01T22:38:34+00:00
ee9fbb707100dd2e05132c75dc0f8bee26e666bf