Skip to main content

Browse the archive

Revision 863066bded664a5e2aba7f89c4fb7bc2afd0e28d authored by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC, committed by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC 
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
 
[fix #17249]
1 parent 8128994
History
File Mode Size
bbox
install
patches
srctx
testing
toolchain
activate-toolchain.sh -rwxr-xr-x 2.2 KB
back to top