#
4933acfb |
|
05-Feb-2010 |
Ramana Kumar <ramana.kumar@gmail.com> |
Documentation for the new proofManagerLib procedures. I added some brief documentation for save_proof, Backup, forget_history, and restart. These could all still benefit from some examples. Unfortunately subversion says proofManagerLib.backup.doc and proofManagerLib.Backup.doc clash, so I saved the Backup documentation in proofManagerLib.BBackup.doc. If this gets fixed somehow, then the SEEALSO links should be changed too. I changed the SEEALSO section for all the proofManagerLib contents to refer to everything in the signature (excluding prettyprinting stuff and abbreviations). Exceptions: expand and backup also refer to their abbreviations, and expand(f) also refers to Tactical.VALID as before. And I refer to BBackup instead of Backup for the reason above. Some of the links are broken (some were broken before this change too), since there isn't yet documentation for gt, set_goaltree, new_goalstack, new_goaltree, add, drop, dropn, et, expandv, initial_goal, top_goals, status, rotate, or rotate_proofs.
|