• Akim Demaille's avatar
    minor fixes · 7c207e04
    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