Do not access CommandLineHistory in HPCGAP

gap-packages / FactInt

FactInt -- Advanced Methods for [Fact]oring [Int]egers

https://gap-packages.github.io/FactInt/

GNU General Public License v2.0

4 stars 4 forks source link

Do not access CommandLineHistory in HPCGAP #1

Closed ChrisJefferson closed 7 years ago

ChrisJefferson commented 7 years ago

In HPCGAP, CommandLineHistory is stored in a different way. This just stops factint trying to read the command line history in hpcgap, so it works correctly.