Script to produce `.tex` files of example GAP sessions
Primary LanguagePythonGNU General Public License v2.0GPL-2.0