Skip to main content

Browse the archive

Revision 1ec24f8006b41ce4f2072db33589d6c660f8060f authored by Benjamin Gregoire on 18 December 2019, 07:21:50 UTC, committed by Benjamin Gregoire on 18 December 2019, 07:48:19 UTC 
Improve />.
 
Be sure that tactic crush (|>, />) does not transform the goal
into umprovable one.
1 parent eb9d7e3
History
File Mode Size
tests.config -rw-r--r-- 343 bytes
back to top