Hi Michael, >miz3's "by" is just an invocation of MESON but with, >as I understand, a time limit imposed.
FWIW, one can turn off the time limit by setting "timeout" to -1. This is useful for example if one wants to recheck a proof that is known to be correct on a slow computer. Of course, if a miz3 proof contains a tactic that doesn't terminate, then with this setting the checking of that proof won't terminate either. Freek ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
