Changes between Initial Version and Version 1 of Ticket #26856, comment 15


Ignore:
Timestamp:
12/14/18 11:10:02 (3 years ago)
Author:
dimpase
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #26856, comment 15

    initial v1  
    1 OK, I'd make out default GAP, without `gap_packages` installed, to be the same as vanilla GAP 4.10, which is, package-wise, as follows:
     1OK, I'll make our default GAP, without `gap_packages` installed, to be the same as vanilla GAP 4.10, which is, package-wise, as follows:
    22{{{
    33$ ./gap