-
Akim Demaille authored
* TODO.txt: Update. * doc/notebooks/check-notebooks (referenced): Improve regexp. * tests/bin/test.py (CHECK_EQUIV): Show more shortest. * tests/python/standard.py: Use better expression conversion routines.
7c207e04
* TODO.txt: Update. * doc/notebooks/check-notebooks (referenced): Improve regexp. * tests/bin/test.py (CHECK_EQUIV): Show more shortest. * tests/python/standard.py: Use better expression conversion routines.