-
Alexandre Duret-Lutz authored
* tests/python/synthesis.ipynb: New file, with bits removed from... * tests/python/games.ipynb: ... here. * tests/Makefile.am: Add synthesis.ipynb. * NEWS, doc/org/tut.org: Mention the new notebook.
0ec1ee6d
To find the state of this project's repository at the time of any of these versions, check out the tags.