Dear Why3 friends, Is there any command line tool that identifies old files left in the session directory? Or the opposite, any way to list the dependencies of a why3session.xml? Besides processing the file directly, that is.
Thanks, Tiago
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club
