proof-general/doc/script-management.texinfo, branch master
Emacs plugins for proof management systems
Renamed texinfo file.
1998-09-03T14:24:29+00:00
David Aspinall
1998-09-03T14:24:29+00:00
278cb8f866cfb2872e054d0e548792aa7fa077a4
Renamed for new subdirectory structure
1998-09-03T13:51:41+00:00
David Aspinall
1998-09-03T13:51:41+00:00
8b836f84d70fcea59ffa186f6809ebc6765b8a5f