Timeline
Dec 4, 2011:
- 11:08 AM Changeset [e95d652]mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2 by
- 1) added yap, flex, bison to bring in prolog backend
Nov 22, 2011:
- 1:49 PM Changeset [605ee1d]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0tvf-new-xml by
- be clear when a proof has failed
Note: See TracTimeline
for information about the timeline view.