/usr/share/gap/lib/read4.g is in gap-libs 4r7p5-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | #############################################################################
##
#X now read profiling functions, help system
##
ReadLib( "profile.g" );
ReadLib( "methwhy.g" );
## the help system
ReadLib( "pager.gi" );
ReadLib( "helpbase.gi" );
# moved to init.g, because completion doesn't work with if-statements
# around function definitions!
#ReadLib( "helpview.gi" );
ReadLib( "helpt2t.gi" );
ReadLib( "helpdef.gi" );
ReadLib( "reread.g" );
ReadLib( "package.gi" );
ReadLib( "string.gi" ); # since StringFile is needed early
# for dealing with test files and manual examples
ReadLib("test.gd");
ReadLib("test.gi");
|