Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CLI: given the name of a .tst file, call Test on it
... instead of Read / READ_NORECOVERY. This is purely a convenience feature: now one can for example run gap tst/testinstall/perm.tst which is equivalent to gap -c 'Test("tst/testinstall/perm.tst");' but shorter and easier to enter via shell command completion.
- Loading branch information