01-18-2022, 08:40 PM
"plug-in" hints that there is an executable (not a script, so not .scm, but .exe if you are on windows) and that one should go in the "plug-ins" directory, not in the "scripts" one.
Error when trying to use GAP script
|
« Next Oldest | Next Newest »
|
Messages In This Thread |
Error when trying to use GAP script - by guillaumesoucy - 01-18-2022, 07:56 PM
RE: Error when trying to use GAP script - by Ofnuts - 01-18-2022, 08:40 PM
RE: Error when trying to use GAP script - by guillaumesoucy - 01-18-2022, 09:03 PM
RE: Error when trying to use GAP script - by Ofnuts - 01-19-2022, 08:04 AM
RE: Error when trying to use GAP script - by rich2005 - 01-19-2022, 09:13 AM
|