-
François Bobot authored
It's goal is to allow to view and modify sessions. Currently three sub-commands : info : can give the provers used, pretty-print in ascii a session, can give the corresponding directory mod : allow to set obsolete, or modify the archive state of proof attempt which corresponds to selected provers copy : copy a proof attempt by modifing its prover
da5b5d18